А, да, я не обратил внимания на знак.
Но это не важно. Важно -- что Вы не представляете себе цели, к которой следует стремиться.
Нам нужны не просто произвольные игрища с букаффками. А нужны только такие, которые которые дадут в конце некоторый степенной ряд относительно именно

, при маленьких

.
Вхождение того

может быть плохим, а может быть хорошим. Хорошее -- это то, которое даёт аналитическую функцию и, следовательно, разложение по
неотрицательным степеням

. Плохое -- то, которое порождает особенность.
Ну так в этом примере как раз всё и очевидно. Есть очевидно нехороший множитель

. И есть всё остальное, которое в нуле заведомо аналитично -- и, следовательно, раскладывается в ряд Тейлора (уж какой бы он ни был). Остаётся только формально разложить и формально перемножить.
И напомню: из того ряда Тейлора фактически нас интересует только самое первое слагаемое (т.е. только значение того оставшегося сомножителя в нуле), т.к. все остальные члены разложения после умножения на

дадут уже неотрицательные степени

, и они уже неинтересны.