| dbp:proof
|
- Pick an arbitrary . As above, define
By the Cauchy residue theorem, for all large enough such that encircles ,
It remains to prove the integral converges to zero. Since is an even function, and is symmetric about the origin, we have , and so (en)
|