0.999…というのは有理数1のことだけど