>>273-276
任意の無理数aを取るとaは整数ではないから、
aに対して或る整数bが存在して |a−b|＜1＝1/1^2 である