Monotone convergence theorem (source code)

= Monotone convergence theorem
{wiki}

= Monotone convergence
{synonym}

= Beppo Levi theorem
{c}
{synonym}

If nonnegative measurable functions satisfy $f_n\uparrow f$ almost everywhere, then $\int f_n\uparrow\int f$, allowing the value infinity.