>>1は何も証明できてないが

0.999...9(9がn個)=a_n として
0.999...はいかなるa_nとも等しくない

つまり任意の自然数nについて
a_nが1と等しくないことを証明しても
それはまったく当然のことであって
それだけでは0.999...が1でないと
証明したことにならない