Set . The complex limit at infinity gives . Parametrizing the semicircle and using yields
By symmetry and the supplied sine bound,
The arc integral is therefore at most , tending to zero. This proves the required vanishing, the relevant form of Jordan's lemma. No holomorphicity of is required just for this arc estimate.

Articles by others on the same topic (0)

There are currently no matching articles.