A C∞ function f on a riemannian manifold M is convex provided its hessian (second covariant differential) is positive semidefinite, or equivalently if (f ◦σ)′′ ≥ 0 for every geodesic inM . We shall apply this notion in a variety of ways to the study of manifolds of negative or nonpositive curvature. Convexity has, of course, long been associated with negative curvature, but convex function seem...