slt tt le monde
on commence par homogeniser
l'inegalite devient :
sigma cyclic x^3/((xyz)^1/3 + y)((xyz)^1/3 + z)>3/4(xyz)^1/3
apres developpement on obtient:(avec come substitution a^3=x b^3=y c^3=z)
4(sigma sym a^10.bc+sigma sym a^12)>3(sigma sym a^3b^3c^6)+3(sigma sym a^2b^5c^5)+sigma syma^4b^4c^4
ce qui est trivial par muirheud en considerant les sequences (12.0.0) et (10.1.1) qui majorizent (4.4.4) et (5.5.2) et (6.3.3)
a+