実数が有理数で近似できることの証明