Rauch comparison theorem

restricts the possible topology of a negatively curved compact Riemannian manifold