(Challenging)
a) Prove that every sequence contains a monotone subsequence. Hint: Call n∈N a peak of the sequence {xn}n=1∞ if xm≤xn for all m≥n. There are two possibilities: Either the sequence has at most finitely many peaks, or it has infinitely many peaks.
b) Conclude the Bolzano--Weierstrass theorem.