The decreasing character of a function with negative derivative can be proved by an analogous argument.

• 负导数函数具有递减性的证明完全类似。