>>906
有理数の反例は必ずどこかに10進無限小数を含むから10進有限小数刻みの探索では反例を見つけられない