4. Rewrite a,b,c,d as a4,b4,c4,d4 respectively, then the original expression becomes
∑cyc 2a8+a5bcd+a2b2c2d21⩾a2b2c2d21. Let b=a+x,c=a+x+y,d=a+x+y+z, substitute into ∑cyc (2b8+b5cda+a2b2c2d2)(2c8+c5dab+a2b2c2d2)(2d8+d5abc+a2b2c2d2)a2b2c2d2−∏cyc (2a8+a5bcd+a2b2c2d2),
Prove that this expression ⩾0.