lean_workbook_plus_33380

Proof: \n $a^8+b^8\geq a^6b^2+b^6a^2$ $\Longrightarrow$ $(a^6-b^6)(a^2-b^2)\geq 0$ $\Longrightarrow$ $(a^4+a^2b^2+b^4)(a^2-b^2)^2\geq 0$ which is obvious.