Bổ đề:
2(1+u2)3≥(1+u)3(1+u3),∀u>0 (2)⇔2(u6+3u4+3u2+1)≥(u3+3u2+3u+1)(u3+1)⇔u6−3u5+3u4−2u3+3u2−3u+1≥0⇔(1+u)4(u2+u+1)≥0
Sử dụng bổ đề và bất đẳng thức Minkowski 2:
[2(1+a2)(1+b2)(1+c2)]3=2(1+a2)32(1+b2)32(1+c2)3≥(1+a)3(1+a3)(1+b)3(1+b3)(1+c)3(1+c3)=(1+a3)(1+b3)(1+c3)[(1+a)(1+b)(1+c)]3≥≥[(1+abc)(1+a)(1+b)(1+c)]3⇔2(1+a2)(1+b2)(1+c2)≥(1+a)(1+b)(1+c)(1+abc)