Definition
...

Every bounded sequence has a convergent Subsequence.

Proof
...

Assume that is a bounded sequence. By the Peak Points > Peak Point Lemma, has a Monotonic Sequences (subsequence) . However, is also bounded and therefore converges because of the Monotone Convergence Theorem (MCT)