Real function/Extrema/Higher derivatives/Fact/Proof