Да, нужна, извините. Доказать можно убываение всей функции с помощью производной.