Peak Point Lemma

Theorem
Let $\left \langle {x_n} \right \rangle$ be a sequence in $\R$ which is infinite.

Then $\left \langle {x_n} \right \rangle$ has an infinite subsequence which is monotone.

Also known as
This result is also known as the Spanish hotel theorem, as is apparent from proof 2.