Every sequence of k^2+1 distinct reals has a monotone subsequence of length k+1, and k^2+1 is optimal.
1 event · 0 assessments
Claim entered the graph
Nothing has happened to this claim yet beyond its creation: no assessments, contributions, or decisions are on record.