I wish to prove the following:
If $f: \mathbb{R} \to \mathbb{R}$ is a differentiable function, $x_0$ is a point in $\mathbb{R}$ such that $f'(x_0) = 0$, and $f''(x_0) > 0$ (so in particular $f''$ exists at $x_0$), then there is a $d > 0$ so that $f(x_0) < f(x)$ for all $x \in (x_0 - d, x_0 + d)$ that aren't equal to $x_0$.