Спасибо за формулу)))
С чем действительно придётся, формально говоря, немножко повозиться, так это с доказательством монотонности
Да, производные даются с трудом:
в силу монотонности логарифма и экспоненты достаточно показать положительность производной функции 

 при больших 
