(Local minima of convex function).
be a convex subset of
be a proper convex function. Then a local minimum is also a global minimum.
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.