a1,a2,...an分别为1,1/2,...1/n的一个排列,b1,b2...bn亦是,ai+bi=ci,(1≤i≤n

如果存在cj>4/j 那么c1、c2、.cj 有j个大于4/j
令1/p+1/q>4/j.
则因为1/(j/2)+1/(j/2)=4/j,所以
若p、q都不等于j/2中至少有一个小于 j/2 (所有的分数都指的是整数部分,下略)
此时,一共最多有2*（j/2-1）=j-2 组满足条件的（p,q）
再加上p=q=j/2
最多有j-1组满足条件的,而开头在假设的条件下要有j个,矛盾.
所以开头的假设不成立,故原命题成立