Uočimo prvo da je
a+bca−bc=1−2⋅a+bcbc,b+cab−ca=1−2⋅b+caca,c+abc−ab=1−2⋅c+abab.
Sada iz a+b+c≥1 slijedi da je
a+bcbc≥a(a+b+c)+bcbc=(a+b)(a+c)bc,
i analogno
b+caca≥(b+a)(b+c)ca,c+abab≥(c+a)(c+b)ab,
pa je
a+bca−bc+b+cab−ca+c+abc−ab≤3−(a+b)(a+c)2bc−(b+a)(b+c)2ca−(c+a)(c+b)2ab.
Dakle, da bismo dokazali traženu nejednakost dovoljno je dokazati da vrijedi
(a+b)(a+c)2bc+(b+a)(b+c)2ca+(c+a)(c+b)2ab≥23.
Množenjem s (a+b)(b+c)(c+a) vidimo da je gornja nejednakost ekvivalentna s
4bc(b+c)+4ca(c+a)+4ab(a+b)≥3(a+b)(b+c)(c+a),
tj.
a2b+ab2+b2c+bc2+c2a+ca2≥6abc.
Posljednja nejednakost vrijedi jer prema nejednakosti između aritmetičke i geometrijske sredine vrijedi
a2b+ab2+b2c+bc2+c2a+ca2≥66a6b6c6=6abc.