Differentiable functions/Larger and derivative larger/Exercise