Prove that if d=0, then abc⩽271, the inequality is obviously true. If a,b,c,d>0, we only need to prove:
Let
f(a,b,c,d)=cyc∑a1−271abcd1⩽27176
Then
a⩽41⩽b,a′=41,b′=a+b−41
a+b=a′+b′,a′b′⩾ab.
Thus
==⩽=f(a,b,c,d)−f(a′,b′,c,d)(a1+b1−a1−b′1)−271⋅cd1⋅(ab1−a′b′1)aba′b′a′b′−ab(a+b)(1−271cd(a+b)1)aba′b′a′b′−ab(a+b)[1−271⋅(3a+b+c+d)−3]0
Therefore
f(a,b,c,d)⩽f(a′,b′,c,d)
After at most two more smoothing transformations, we get
f(a,b,c,d)⩽f(41,a+b−41,c,d)⩽f(41,41,a+b+c−21,d)⩽f(41,41,41,41)=27176
Thus the original inequality holds.