Не подойдёт. Что такое "
![$o(x-1)$ $o(x-1)$](https://dxdy-02.korotkov.co.uk/f/5/a/5/5a58a3325177d7674081248b2b68455982.png)
", когда икс стремится не к единице?...
На мой взгляд, наиболее естественный способ "ручного" доказательства таков. Предел
![$\lim\limits_{x\to0}x\,\ln x$ $\lim\limits_{x\to0}x\,\ln x$](https://dxdy-02.korotkov.co.uk/f/5/4/3/543ab923f0e845417bd3a16fa2594eae82.png)
достаточно очевидным образом сводится к
![$\lim\limits_{t\to+\infty}\dfrac{2^t}{\sqrt t}$ $\lim\limits_{t\to+\infty}\dfrac{2^t}{\sqrt t}$](https://dxdy-01.korotkov.co.uk/f/8/9/1/891963b37acb46eb6da1d8640999594f82.png)
(иметь дело с показательными функциями приятнее, чем с логарифмами). Чтобы доказать, что последний предел бесконечен, достаточно получить оценку
![$2^t>t$ $2^t>t$](https://dxdy-01.korotkov.co.uk/f/c/b/c/cbc9dd188c0bf869798518060318bac682.png)
при всех достаточно больших
![$t$ $t$](https://dxdy-01.korotkov.co.uk/f/4/f/4/4f4f4e395762a3af4575de74c019ebb582.png)
. В силу монотонности достаточно показать, что
![$2^n>n+1$ $2^n>n+1$](https://dxdy-02.korotkov.co.uk/f/d/5/d/d5d90f68fe49e7996818339e0a51e18682.png)
при всех достаточно больших целых
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
. Ну последнее очевидно по индукции.
Только в рамках
предложенного учебного примера вся эта возня выглядит несколько неуместной: вот просто есть такой факт, что
![$\lim\limits_{x\to0}x\,\ln x=0$ $\lim\limits_{x\to0}x\,\ln x=0$](https://dxdy-04.korotkov.co.uk/f/f/6/2/f6254dcf5406c0e1ccb17bf047ede21282.png)
-- и всё тут.