估计数列中关于中点对称的两个元素之和。
反设 ak+am−k+1≤na_k+a_{m-k+1}\le nak+am−k+1≤n。则 1≤i≤k1\le i\le k1≤i≤k 时的 kkk 个互异的和 ai+am−k+1a_i+a_{m-k+1}ai+am−k+1 都不超过 nnn，故都属于该集合。每个和都严格大于 am−k+1a_{m-k+1}am−k+1，但其上方只有下标为 m−k+2,…,mm-k+2,\ldots,mm−k+2,…,m 的 k−1k-1k−1 个元素，矛盾。