Monotone Subsequence Lemma

Monotone subsequence lemma: Every real sequence $(a_n)$ has a subsequence that is monotone (either nondecreasing or nonincreasing).

This combinatorial compactness principle is often paired with boundedness assumptions to extract convergent subsequences and to analyze $\limsup$ and $\liminf$ (see limsup and liminf ).