 Injectivity radius

The injectivity radius at $p$ is the largest radius on which ${\exp }_p$ is a diffeomorphism from the tangent-space ball onto its image. The injectivity radius of a compact Riemannian manifold is the positive infimum of these pointwise radii.