Лемма позиционирует метод последовательных приближений, при этом, вместо 13 можно взять любую другую константу.

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

Натуральный логарифм, не вдаваясь в подробности, допускает анормальный интеграл от функции, обращающейся в бесконечность вдоль линии, дальнейшие выкладки оставим студентам в качестве несложной дома