An infinite sequence of distinct real numbers is given. Prove that it contains a subsequence of $1999$ terms which is either monotonically increasing or monotonically decreasing.
Problem
Source: Israel Grosman Memorial Mathematical Olympiad 1999 p5
Tags: Sequence, subsequence, Increasing, Decreasing, algebra