How prove this inequality $(a+b+c+d+e)^3\geq9(2abc+abd+abe+acd+ade+2bcd+bce+bde+2cde),$

Let $a,b,c,d$ and $,e$ are non-negatives .show that

$$(a+b+c+d+e)^3\geq9(2abc+abd+abe+acd+ade+2bcd+bce+bde+2cde),$$

Michael Rozenberg says that this inequality proof is very ugly.

I think this inequality seems nice and maybe it has simple methods to solve it?


At first, from AM-GM: $$\frac13(a+b+c+d+e)^3 \ge 9(a+b)c(d+e) = 9(acd+bcd+ace+bce),$$ and similarly for any permutations of $a,b,c,d,e.$ So it requres to find only 3 of them, the sum of which gives RHS of original inequality.

Taking in account that RHS of original inequality doesn'n contain the term $ace,$ one can obtain only 9 variants of satisfying permutations. One of its combinations can lead to goal.

Easy to see that there are only 6 pairs of permutations which gives the term $2abc$ in sum. Third permutation can be found among another permutations.

Checking of them with Google Sheets gives required triple. picture

Finally, $$(a+b+c+d+e)^3 \ge 9((a+c)d(b+e) + (a+e)c(b+d) + (c+e)b(a+d)),$$ $$\boxed{(a+b+c+d+e)^3\geq9(2abc+abd+abe+acd+ade+2bcd+bce+bde+2cde).}$$