Lebesgue's monotone convergence theorem