Erdős–Szekeres theorem
(Q976607)
theorem that sufficiently long sequences of numbers have long monotonic subsequences
theorem that sufficiently long sequences of numbers have long monotonic subsequences
Language:
Current Data About
Erdős–Szekeres theorem