C∞ convex functions and manifolds of positive curvature