slt
a^4+b^4-32a^4*b^4=(a²)²-(4a²b²)²+(b²)²-(4a²b²)²
=(a²-4a²b²)(a²+4a²b²)+(b²-4a²b²)(b²+4a²b²)
=a²(1-4b²)a²(1+4b²)+b²(1-4a²)b²(1+4a²)
=a^4(1-16b^4)+b^4(1-16a^4)
on a 0<a<1 et 0<b<1
donc 16b^4<1 et 16a^4<1
0<1-16b^4 et 0<1-16a^4
alors a^4(1-16b^4)+b^4(1-16a^4)>0
et enfin a^4+b^4>32a^4*b^4