>>26
超準解析だと1>0.9999…だとでもいうの?