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

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

Достаточное условие сходимости накладывает Наибольший Общий Делитель (НОД), что и требовалось доказать.