Power Series Expansion for Tangent Function/Proof 1

Proof
First we will derive the Laurent series for $\cot x$.

Then: