Erdős–Szekeres theorem
In mathematics, the Erdős–Szekeres theorem asserts that, given r, s, any sequence of distinct real numbers with length at least + 1 contains a monotonically increasing subsequence of length r or a monotonically decreasing subsequence of length s. Wikipedia