convexity-formula