0.99... = 1? 尝试证明

TODO