Si, on a bien 0.99999999..9=1 (pour ceux qui sauraient pas, vu la réaction de mon VDD, il semblerait que Lowenheim fasse uniquement semblant d'ignorer ceci)
Tu prends la série géométrique convergente de terme générale 0.9 * 10^-n
Tu as donc la somme de 0 à n qui vaut
(1-(1/10)^(n+1))/(1-1/10) * 0.9
soit par passage à la limite S=1
Sinon il y a aussi n=0.9999..9
donc 10n=9.999..9
donc 10n=9+n
soit 9n=9
donc n=1=0.999.9