Prove that,
(a815+b815+c815+d815)2⩾(a815+3b35c85d85)2=a415+6a815b85c85d85+9b45c43d45⩾a415+1515a415b15c15d15=a415+15a43bcd⇒(a815+b85+c815+d815)2a3⩾a427+15a415bcd=(a3+15bcd)a415⇒a3+15bcda3⩾a815+b815+c815+d815a815.
Similarly, b3+15cdab3⩾a815+b815+c815+d815b315,
c3+15dabc3⩾a815+b815+c815+d815c815,d3+15abcd3⩾a815+b815+c815+d815d815.
Adding the above four inequalities yields the conclusion.