Real function/Extrema/Second derivative/Fact/Proof/Exercise