Solution
= Solution
The <monotone convergence theorem> states that if measurable nonnegative functions satisfy $f_n\uparrow f$ almost everywhere on a measure space, then
$$
\int f=\lim_{n\to\infty}\int f_n,
$$
allowing either side to be $+\infty$.