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

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

Интеграл по ориентированной области проецирует возрастающий минимум, в итоге приходим к логическому противоречию. Рациональное число, конечно, не критично.