The Berger-Kazdan comparison theorem gives a lower bound for the volume of a compact manifold, with equality only for a standard
round sphere. Let be a compact
-dimensional manifold with injectivity radius
. Then
with equality iff is isometric to the standard
round sphere
with radius
, where
is the volume of the standard
-hypersphere of radius
.