Theorem (The Monotone Convergence Theorem)