Fatou lemma (source code)

= Fatou lemma
{c}
{wiki=Fatou's_lemma}

= Fatou's lemma
{c}
{synonym}

For nonnegative measurable functions,
$$
\int\liminf_nf_n\,d\mu\leq\liminf_n\int f_n\,d\mu.
$$