>>364より
無限大をLとおき
その逆数1/L=εを無限小とし
Xの隣の数は
(X - ε) ≠ X
このような実数の拡大体を使えばXの隣の数は無限個数定義出来るわけ(超準解析)
なんにしろ
1 - (ε≠0)は桁落ちして
1 - (ε≠0) = 0.9999…となるわけ
だから
1 - (ε≠0) = 0.9999… ≠ 1