Sufficient Condition for Stationary Point to be Local Maximum

Theorem
Let $f$ be a real function which is twice differentiable on the open interval $\openint a b$.

Let $f$ have a stationary point at $\xi \in \openint a b$.

Let the second derivative of $f$ at $\xi$ be (strictly) negative.

Then $\xi$ is a local maximum.