f は [c, b] で狭義単調増加だから、 f(c) ≦ f(x) ≦ f(b) < 0 である。
特に、 f(x) ≠ 0 for any x ∈ [c, b] である。