Past exam of the mathematics course of the University of Oxford / 2015 / Prelims / Mathematics II / 1 / a / iv

If $a_n\to L$, every subsequence also has limit of a sequence $L$: its increasing indices eventually exceed any prescribed threshold. This applies in particular to every monotone subsequence.

Conversely, suppose $(a_n)$ is a bounded sequence and all its monotone subsequences converge to the same $L$. At least one exists by the monotone subsequence theorem. If $a_n$ did not tend to $L$, there would be ${\epsilon }_0>0$ and a subsequence $(a_{n_j})$ such thatApply the monotone subsequence theorem to $(a_{n_j})$. The resulting further subsequence is also a monotone subsequence of $(a_n)$, so it tends to $L$, contradicting the displayed bound. ThereforeThe bounded monotone sequence theorem ensures that these subsequences have finite limits of sequences; the hypothesis requires those values to agree.