将下界分成 3(x+y+z)/w−1=2(x+y+z)/w+(x+y+z)/w−13(x+y+z)/w-1=2(x+y+z)/w+(x+y+z)/w-13(x+y+z)/w−1=2(x+y+z)/w+(x+y+z)/w−1。利用 (x+y+z)/w≥3(x+y+z)/w\ge3(x+y+z)/w≥3 得 2(x+y+z)/w+22(x+y+z)/w+22(x+y+z)/w+2，正是右边。