0.999...＜1が成立すると仮定すると、
0＜1-0.999...より、
0＜1/10^N＜1-0.999...となる自然数Nが存在する
したがって0.999...＜1-1/10^N
また、
0.999...9(9がn個)=1-1/10^nより、

N＜nなる自然数nに対して、
0.999...＜1-1/10^N＜1-1/10^n=0.999...9(9がn個)

したがって0.999... ＜0.999...9(9がn個)
これは矛盾

したがって1=0.999...