Since is differentiable everywhere, . Note also that since is a point. The derivative of is
Evaluated at we have
Here, we know that because we are told that , and we also know that has a local maximum at , which means that .
Since the derivative is not zero, does not have a local extreme at .