Uočimo da je
a3+2b3a4+3ab3=a3+2b3a(a3+2b3)+ab3=a+a3+2b3ab3.
Po nejednakosti između aritmetičke i geometrijske sredine slijedi
a3+2b3=a3+b3+b3≥33a3b3b3=3ab2.
Zaključujemo da je
a3+2b3a4+3ab3=a+a3+2b3ab3≤a+3ab2ab3=a+3b.
Na isti način dobivamo
b3+2c3b4+3bc3≤b+3cic3+2a3c4+3ca3≤c+3a,
pa zbrajanjem nejednakosti slijedi
a3+2b3a4+3ab3+b3+2c3b4+3bc3+c3+2a3c4+3ca3≤34(a+b+c).
Na kraju korištenjem nejednakosti između aritmetičke i kvadratne sredine dobivamo
4⋅3a+b+c≤43a2+b2+c2=4.
Time je dokaz završen.