Real function/Derivative/Monotonicity/Fact/Proof