Lebesgue monotone convergence theorem