Cauchy sequence
この性質より を証明するためにしなければならないことは、有理数のコーシー列