Prove that the Erdos-Szekeres result is best possible by constructing for each n (with proof) a list of n^2 distinct numbers having no monotone sublist of length n+1.


?????????????????????????????????????????