Ta sẽ chứng minh: 3x+3y+3z≥xy+yz+zx
Áp dụng bất đẳng thức Holder: (3x+3y+3z)3(x+y+z)5≥(4x3+4y3+4z3)8
Tiếp theo ta chứng minh: (4x3+4y3+4z3)8≥35(xy+yz+zx)3
Chuẩn hóa 4x3+4y3+4z3=3 thì ta đưa về chứng minh a4b4+b4c4+c4a4≤3 với a3+b3+c3=3 trong đó (a,b,c):=(4x,4y,4z) và đây là một bài toán quen thuộc trong Algebraic Inequality.
Tiếp theo đơn giản.