考虑数列0.9，0.99，0.999，……
An=1-10^(-n)
∀ε>0，∃正整数N，n>N时|1-An|<ε。
假设1-0.999...>0，我们取ε=1-0.999...
|1-An|=1-An<ε
⇔10^(-n)<1-0.999...
⇔n>-lg(1-0.999...)
接下来，奇迹出现了。
已知An=1-10^(-n)，ε=1-0.999...
那么对于满足条件的n，An>1-ε=0.999...
即0.999...9(n个9)>0.999...（无限小数）！！
到这里就明显矛盾了，要是不服，两边减一下，0>0.000...0999...，右边正数，矛盾。

有问题吧，ε咋取到的，你只有N趋近于正无穷的时候才可能取到1-0.999……这种情况吧，你这最后n=无穷+1，后面是无穷，不就相当于无穷在和无穷做比较吗，那♾️+1和♾️谁大啊？

如果n取到♾️+1，那两边相减不是0就是个负数，你的结论不是完全反了