show that if the derivative of a function f is strictly negative
on a open interval (a,b) then the function is decreasing on that
open interval