x^4+y^4+z^4+(Sqrt[3]-1)*x*y*z*(x+y+z)>=Sqrt[3]*(x^3*y+y^3*z+z^3*x)