[see also: maximum
Under what conditions can f have a local minimum in the interval A <at the point x0>?
This is the minimum property of the Jordan decomposition which was mentioned in Section 6.