実無限を前提にしなければそもそも0.999…なんて無いだろうに