401.6 Using Monotone Convergence

A fully-formed example of applying the monotone convergence theorem to prove that a recursively-defined sequence converges. (Bonus: we can then determine its limit.)