Monotone convergence theorem

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