Injectivity Radius of Compact Riemannian Manifold is Positive

Theorem
Let $\struct {M, g}$ be a compact Riemannian manifold.

Let $\map {\operatorname{inj} } M$ be the injectivity radius of $M$.

Then $\map {\operatorname{inj} } M > 0$.