Proof.
\begin{pspicture}(-1,-1)(6.2,4.2)
\psaxes[Dx=10,Dy=10]{->}(0,0)(-1,-1)(6,4)
\rput(-0.2,4.1){}
\rput(6.1,-0.2){}
\rput(-0.17,-0.22){0}
\rput(5,-0.3){}
\rput(0.7,0.3){}
\rput(1.4,1.7){}
\rput(4.7,2.2){}
\psline[linecolor=blue,linewidth=0.05]{->}(0,0)(5,0)
\psline[linecolor=blue,linewidth=0.04]{->}(3.55,3.55)(0,0)
\psarc[linecolor=blue,linewidth=0.04]{->}(0,0){5}{-1}{45}
\psarc(0,0){0.5}{0}{45}
\end{pspicture}
The function \,\, is entire, whence by the fundamental theorem of complex analysis we have
where is the perimeter of the circular sector described in the picture.\, We split this contour integral to three portions:
By the entry concerning the Gaussian integral, we know that
For handling , we use the substitution
Using also de Moivre's formula we can write
Comparing the graph of the function \,\, with the line through the points \,\, and\, \, allows us to estimate downwards:
Hence we obtain
and moreover
Therefore
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \lim_{R\to\infty}I_2 = 0.\\}
Then make to the substitution
It yields
Thus, letting\, ,\, the equation (2) implies
Because the imaginary part vanishes, we infer that\, ,\, whence (3) reads
So we get also the result\, ,\, Q.E.D.