sphere theorem from global differential geometry

This theorem, as do Carmo refers it, is one of the most beautiful theorems in Riemannian geometry:

sphere theorem. Let $M$ be a n-dimensional compact simply connected Riemannian manifold, whose sectional curvature $K$ satisfies

Then $M$ is homeomorphic to a sphere.