Real function/Extrema/Higher derivatives/Fact