Extremal combinatorics# Ramsey’s theorem and the Erdős-Szekeres theorem: order that must appear in any large enough structure. Ramsey’s theorem: R(3,3) = 6 Ramsey's theorem: R(3,3) = 6 The Erdős-Szekeres theorem: monotone subsequences The Erdős-Szekeres theorem: monotone subsequences