Определение монотонно убывающей функции