An Inequality from Tibet

$\displaystyle\left(\frac{1}{a}+\frac{1}{b}+\frac{1}{c}+\frac{1}{d}+\frac{1}{e}\right)^4\ge 125\left(\frac{1}{bcde}+\frac{1}{acde}+\frac{1}{abde}+\frac{1}{abce}+\frac{1}{abcd}\right).$

Make a substitution $\displaystyle\frac{1}{a}=y,$ $\displaystyle\frac{1}{b}=z,$ $\displaystyle\frac{1}{c}=u,$ $\displaystyle\frac{1}{d}=v,$ $\displaystyle\frac{1}{e}=w.$ Then $y,z,u,v,w\gt 0$ and we need to prove that

$(y+z+u+v+w)^4\ge 125(zuvw+yuvw+yzvw+yzuw+yzuv)$

Consider minimal monic polynomial $f(x)$ with roots $y,z,u,v,w:$

$f(x)=x^5-5sx^4+10qx^3-10tx^2+5rx-p,$

where $y+z+u+v+w=5s,$ $\displaystyle\sum yz=10q,$ $\displaystyle\sum yzu=10t,$ $\displaystyle\sum yzuv=5r,$ and $yzuvw=p.$

By Rolle's theorem, if $k,l,m,n$ are the roots of the derivative $f'(x),$ then $\min\{y,z,u,v,w\}\le\{k,l,m,n\}\le\max\{y,z,u,v,w\}.$ we have

$f'(x)=5(x^4-4sx^3+6qx^2-4tx+r).$

By the AM-GM inequality,

$k+l+m+n\ge 4\sqrt[4]{klmn},$

so that $4s\ge 4\sqrt[4]{r},$ i.e., $s^4\ge r,$ or, $625s^4\ge 625r,$ which is

$(y+z+u+v+w)^4\ge 125(zuvw+yuvw+yzvw+yzuw+yzuv),$

as required.