Докажите, что функция f(x)=5cosx-7x убывает на все числовой прямой

Докажите, что функция f(x)=5cosx-7x убывает на все числовой прямой

f¹(x)=-5sin(x)-7<0 , т.к. I sin(x)I ≤1  ⇔  f(x) убывает, т (по необходимому и остаточному условию убывания функции).