Sufficient Condition for Stationary Point to be Local Minimum

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) positive.

Then $\xi$ is a local minimum.