See Perelman's proof of the soul theorem in differential geometry for an example.