Real function/Derivative/Monotonicity/Fact