Fatou's lemma: If f1, f2, ... is a sequence of non-negative (measurable) functions, then
Fatou's lemma is proved using the monotone convergence theorem.
Fatou's lemma is particularly useful in probability theory, in establishing results about the convergence of the expectations of the elements of a sequence of random variables. Suppose that the sequence of functions is a sequence of random variables, X1, X2, ..., with Xn ≥ Y (almost surely) for some Y such that E(|Y|) < ∞. Then by Fatou's lemma
Applications
It is often useful to assume that Y is a constant. For example, taking Y = 0 it becomes clear that Fatou's lemma can be applied to any sequence of non-negative random variables.External links