Let is a differentiable and monotone decreasing function. For all prove that
Proof. Let consider the function
on . A simple calculation shows us that
Again, let us consider the following function
which implies that
for any . Thus, we have shown that
on . So is decreasing on . This implies for any we have
which completes our proof.