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

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