Доведемо допоміжну нерівність
1+a+b1≤1−2a+b+3ab.
Ця нерівність рівносильна таким нерівностям:
6≤(1+a+b)(6−3(a+b)+2ab),
6≤6+6(a+b)−3(a+b)−3(a+b)2+2ab+2ab(a+b),
2a2b+2ab2−3a2−3b2−4ab+3a+3b≥0,
2a(a−1)(b−1)+2b(a−1)(b−1)+a(1−a)+b(1−b)≥0.
Остання нерівність є правильною, бо a,b∈[0,1].
Додаючи цю та ще дві аналогічні нерівності, дістанемо, що
1+a+b1+1+b+c1+1+c+a1≤3−(a+b+c)+31(ab+bc+ca),
звідки й випливає потрібна нерівність.