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个,矛盾。所以开头的假设不成立,故原命题成立