Что можно сделать для доказательства неравенства

Насколько понял, оно справедливо для положительных действительных чисел.
Замените для удобства

на

и рассматривайте обе части как функции от

, в которых

-- это параметр. Найдите точку, в которой совпадают производные по

от правой и левой части. Докажите, что в этой точке неравенство выполняется. А в остальных тогда оно следует из выпуклости экспоненты.
Переменная

, конечно, должна быть положительной. А вот на

(сиречь

) таких ограничений нет.
Но всё это -- если убрать минус единицу из правой части. А с минус единицей неравенство просто неверно.