limit theorem | monotone sequence theorem | monotonic sequence theorem

If {f_n} is a sequence of measurable functions, with 0<=f_n<=f_(n + 1) for every n, then integral lim_(n->∞) f_n d μ = lim_(n->∞) integral f_n d μ.