Large-circle contour estimate (source code)

= Large-circle contour estimate

On a circle of radius $R$, an integrand uniformly of order $R^{-2}$ has contour integral of order $R^{-1}$ by the estimation lemma.