>>967
それでやっても同じ話じゃないの？
ほしい反例は無限小数を必ず含む(とはいえ有理数解もあるぞ！)から入力は近似値になる
近似値では、その6つの不等式すべてを成立させるものは存在しない
不等式の成立条件に誤差を許すと、今度はいくつも反例が出てくるだろうけど、その中で本当の反例になってるものを見つけられない