Peak Point Lemma

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

Then $\sequence {x_n}$ 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.