La réponse est vraiment censée être de niveau TS ???
La démo que j'ai trouvé, c'est de démontrer l'irrationnalité de log(2), donc la densité de {n.log(2)-k avec n entier et k entier relatif} dans [0,1[, et ensuite soit un entier N et un reel epsilon dans [0,1[, (N+epsilon)*10^k = 2^n ssi log(N+epsilon) = n.log(2)-k, etc... mais si on fait ça en TS maintenant
J'ai hate de voir à coté de quelle solution je suis passé