>>539
極値を持たない単調な関数であることが
1 < x < 2において、実数解を一つ持つことの根拠になるとでも思っているのだろうか