(1+1/x^n)(1+1/y^n)>(1+2^n)² =>
1/x^n+1/y^n+1/(xy)^n>16^n+2*2^n
=>
(y^n+x^n+1)/(xy)^n>16^n+2*2^n
=>
(y^n+x^n+1-(16xy)^n-2(2xy)^n)/(xy)^n>0
=> (xy)^n>0 quelque soit (x;y)
Ensuite tumets sous forme exponentielle, mais bon... Là ça va devenir illisible
alors hf.