MathDB
subsequence of 1999 terms is either monotonically increasing or decreasing

Source: Israel Grosman Memorial Mathematical Olympiad 1999 p5

February 15, 2020
SequencesubsequenceIncreasingDecreasingalgebra

Problem Statement

An infinite sequence of distinct real numbers is given. Prove that it contains a subsequence of 19991999 terms which is either monotonically increasing or monotonically decreasing.