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

при больших
