Lebesgue's dominated convergence theorem