Monotone subsequence lemma

Monotone subsequence lemma: Every sequence $(x_n)$ in $\mathbb{R}$ has a monotone subsequence ; i.e., there exists a subsequence that is either nondecreasing or nonincreasing.

This lemma is a key combinatorial tool in real analysis and is often used to extract structured subsequences before applying completeness or compactness arguments.