Лемма Жордана

Пусть функция ${\displaystyle f(z)}$ непрерывна в замкнутой области ${\displaystyle G=\left\{z\mid \mathrm {Im} \,z\geq 0,\left|z\right|\geq R_{0}>0\right\}}$. Обозначим через ${\displaystyle C_{R}}$ полуокружность ${\displaystyle |z|=R,\,\mathrm {Im} \,z\geq 0}$. Пусть также выполнено условие ${\displaystyle \lim _{R\to \infty }\max _{z\in C_{R}}\left|f(z)\right|=0.}$
Тогда при любом ${\displaystyle a>0}$ имеет место равенство ${\displaystyle \lim _{R\to \infty }\int \limits _{C_{R}}f(z)e^{iaz}\,dz=0.}$