слева предельный переход можно выполнить под знаком интеграла [теорема I п° 493] . Отсюда для
получается выражение в виде интеграла
напоминающего интеграл Дирихле [681] и в действительности играющего такую же точно роль. Элементарным преобразованием его легко привести к виду
Для дальнейшего изложения нам понадобится следующее очевидное дополнение к основной лемме п° 681:
Если функция
абсолютно интегрируема в бесконечном промежутке
то
(равно как и
Доказательство можно скопировать с доказательства самой леммы п° 681 (для случая, когда функция
имеет особую точку).