Problem

Source: Israel Grosman Memorial Mathematical Olympiad 1999 p5

Tags: Sequence, subsequence, Increasing, Decreasing, algebra



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.