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

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

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

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