Je ne sais par quelle miracle en développant tous les termes j'ai trouvé qu'une réécriture possible de cette inégalité est :
(abc-1)^2+(ab+bc+ca-a-b-c)^2-(abc-1)(a+b+c-ab-bc-ca) >=0,
sur ce si tu pose A=abc-1 et B=ab+bc+ca-a-b-c, tu trouveras que :
A^2+B^2-AB>=0
ce qui est vrai en calculant le discriminant.