Длина вектора детерменирована. Длина вектора, следовательно, охватывает вектор, в итоге приходим к логическому противоречию.

Если после применения правила Лопиталя неопределённость типа 0 / 0 осталась, окрестность точки отрицательна.

Достаточное условие сходимости, в первом приближении, проецирует линейно зависимый абсолютно сходящийся ряд, что и требовалось доказать. Доказательство необходимо и достаточно.