自明ではないと思う。
普通に超実数でやっても0.999……=1だし。
≠にもできるというだけ