Solution (source code)

= Solution

The <mean value theorem> gives $f(b)-f(a)=(b-a)f\prime(c)\gt 0$.