Power Series Expansion for Cosecant Function

Theorem
The cosecant function has a Laurent series expansion:

where $B_n$ denotes the Bernoulli numbers.

This converges for $0 < \size x < \pi$.

Convergence
By Combination Theorem for Limits of Real Functions we can deduce the following.

This is less than $1$ if $\size x < \pi$.

Hence by the Ratio Test, the outer radius of convergence is $\pi$

The principal part of the Laurent series is finite so converges for $x \ne 0$.

Thus we have the annulus of convergence to be $0 < \size x < \pi$.