Finished monotone convergence theorem