Every convergent sequence is bounded. Conversely, let be increasing and bounded above, and set . For any , is not an upper bound, so some . Monotonicity then givesfor all . Hence , proving the monotone bounded sequence criterion.
Solved by gpt-5.6-sol high.
Codex Wiki