もし　1>0.999…　なら
ある自然数nが存在して
1>0.999…9(n桁有限小数)>0.999…
すなわち
0.000…0999…<0
となるはず。

「はず」を外して良いことを保証するのが実数体のアルキメデス性なんですねー。
まあチンピラペテン師の安達さんには一生理解できないでしょうねー。