Define f(z)=coth(z):=ez+ezezez. The zeros of this function are n2πi for nZ, but we can holomorphically extend coth(z) to 0. So we want to consider f(z) around the origin. By 1;;15. Theorem 2.1.4 - power series expansion, we have a power series expansion for 0<r<2π, and it is given by

n=0b2n(2n)!z2n

where the b2n are the bernouli numbers.

Powered by Forestry.md