Necessary 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 $\xi$ be a local minimum.

Then there exists an open interval $\openint c d$ such that: