乘积条件给出最后的数值下界。
由算术–几何平均,x+y+z≥3(xyz)1/3=3x+y+z\ge3(xyz)^{1/3}=3x+y+z≥3(xyz)1/3=3。结合 E≥x+y+z2E\ge\frac{x+y+z}{2}E≥2x+y+z 得 E≥32E\ge\frac32E≥23,即得所证不等式。