Prove that from Q2⩾A2 we get
⩾=2⋅a+b=2a+bab⋅21(2+aba2+b2)2a+bab⋅21(2+aba2+b2)a+b2ab+a+ba2+b2
Similarly,
2⋅b+c⩾b+c2bc+b+cb2+c22⋅c+a⩾c+a2ca+c+ac2+a2
From Q3⩾H3 we get
3(2aba+b)2+(2bcb+c)2+(2cac+a)2⩾2aba+b1+2bcb+c1+2cac+a13
Therefore,
⩾=a+b2ab+b+c2bc+c+a2ca3(2aba+b)2+(2bcb+c)2+(2cac+a)233ab+bc+ca3abc⩾3.
Thus, the original inequality holds.