Достаточное условие убывания функции на промежутке.
Большему значению аргумента соответствует меньшее значение функции