Не подойдёт. Что такое "
", когда икс стремится не к единице?...
На мой взгляд, наиболее естественный способ "ручного" доказательства таков. Предел
достаточно очевидным образом сводится к
(иметь дело с показательными функциями приятнее, чем с логарифмами). Чтобы доказать, что последний предел бесконечен, достаточно получить оценку
при всех достаточно больших
. В силу монотонности достаточно показать, что
при всех достаточно больших целых
. Ну последнее очевидно по индукции.
Только в рамках
предложенного учебного примера вся эта возня выглядит несколько неуместной: вот просто есть такой факт, что
-- и всё тут.