Close the interval with an upper semicircle, traversed counterclockwise. On its large arc,
so the estimation lemma bounds the arc integral by . The enclosed residues are those at and , whose sum is . The residue theorem therefore gives
The positive sign agrees with the nonnegative real integrand.

Articles by others on the same topic (0)

There are currently no matching articles.