LimitsconceptProof → Monotone convergence from the supremum principleProof → Monotone convergence from the supremum principle