Basel sum from exponential poles

ID: basel-sum-from-exponential-poles

The meromorphic function has simple poles of residue one at . Subtracting removes all poles inside radius . Comparing its inner Taylor coefficients with the outer Laurent expansion gives annular coefficient . On circles of radius , the function is uniformly bounded: outside the strip use the exponential modulus, and inside it the imaginary part stays near an odd multiple of . The Laurent coefficient integral bounds , proving the sum.

New to topics? Read the docs here!