>>972
話を撹乱させるの上手いな
それでやっても同じ、というのは

>反例さがすなら
> |ab+1| ≦ |a-b| かつ
> |ac+1| ≦ |a-c| かつ
> ‥‥
> |cd+1| ≦ |c-d|
> やろ？

のとこについての話

> 反例が有理数の範囲にないなら代数的数学科を扱えるライブラリ持ってないとキツい

反例は有理数の範囲にもある