Real function/Extrema/Second derivative/Fact