The Myers theorem, also known as the Bonnet–Myers theorem, is a classical theorem in Riemannian geometry. The strong form was proven by Sumner Byron Myers. The theorem states that if Ricci curvature of a complete Riemannian manifold M is bounded below by (n − 1)k > 0, then its diameter is at most π/√k. The weaker result, due to Ossian Bonnet, has the same conclusion but under the stronger assumption that the sectional curvatures be bounded below by k.
Moreover, if the diameter is equal to π/√k, then the manifold is isometric to a sphere of a constant sectional curvature k. This rigidity result is due to Cheng (1975), and is often known as Cheng's theorem.
This result also holds for the universal cover of such a Riemannian manifold, in particular both M and its cover are compact, so the cover is finite-sheeted and M has finite fundamental group.