(Local minima of convex function). Let be a convex subset of and let be a proper convex function. Then a local minimum is also a global minimum.
If is a local minimum and is a different point and a global minimum then takes values smaller then at all points on the line because of the convexity.