(xyz)1/3=w(xyz)^{1/3}=w(xyz)1/3=w なので、相加相乗平均により 1/x+1/y+1/z≥3/(xyz)1/3=3/w1/x+1/y+1/z\ge3/(xyz)^{1/3}=3/w1/x+1/y+1/z≥3/(xyz)1/3=3/w。従って左辺は 3(x+y+z)/w−13(x+y+z)/w-13(x+y+z)/w−1 以上。