Bonnet-Myers Theorem

Theorem
Let $M$ be a complete connected Riemannian manifold.

Suppose all the sectional curvatures of $M$ are bounded below by a positive constant.

Then $M$ is compact and has a finite fundamental group.