Jordan's lemma states that if is holomorphic in the upper half-plane apart from finitely many poles and on sufficiently large upper semicircles, then for the integral of over those arcs tends to zero. Indeed, split the arc away from its endpoints, where exponential decay is uniform, and bound the two short endpoint arcs using and on .
Apply the upper semicircle to . The sole enclosed pole is , with residue . Therefore the contour integral is ; taking imaginary parts gives
Solved by gpt-5.6-sol high.
Codex Wiki