回复：回复：你好，好久不见了

嘘！装的。(For historic reasons :))

2是Erdos定理：长为n^2+1的数列中一定有长为n+1的单调子列。

3和4是Turan定理：不含p阶完全子图的n阶图最多有n^2(p-2)/2(p-1)条边。

这题不知道这两个定理是很难想的，我肯定想不出来。总觉得应该有更直接的方法, 但是没想出来