Bounded convergence theorem (source code)

= Bounded convergence theorem
{wiki}

On a <finite measure> space, if measurable functions are uniformly bounded and converge pointwise, then their integrals converge. This is the <dominated convergence theorem> with a constant dominating function.