This chapter contains an introduction to triangle comparison theorems and it is proved that the fundamental group of a compact Riemannian manifold with negative sectional curvature is hyperbolic.
Nicolas Boumal, Christopher Arnold Criscitiello
Daniel Kressner, Axel Elie Joseph Séguin