How to prove that a sequence with 17 elements has a monotone subsequence with 5 elements?
Proof of a sequence having monotone subsequences
1
$\begingroup$
sequences-and-series
-
1https://en.wikipedia.org/wiki/Erd%C5%91s%E2%80%93Szekeres_theorem Just look at the proof here. Set r=s=5. – 2017-02-10