もし1≠0.999..なら
0.999..=A
1-A=δと定義します。

1と0.999..の間には差異があるので
A≠A-δの関係はいくらでも続きます。
よって1未満の数値は存在しないことになります。