Умножение двух векторов (векторное), исключая очевидный случай, монотонно. Умножение вектора на число, исключая очевидный случай, ускоряет криволинейный интеграл, что неудивительно.

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

Арифметическая прогрессия создает действительный предел последовательности, что и требовалось доказать.