中間値の定理のところに f(x)が単調に増加するか、または単調に減少するならば実数解はただ1つである
ってのもあったんですけどこっちのほうならいけますかね?