Power Series Expansion for Logarithm of Sine of x

Theorem
for all $x \in \R$ such that $0 < \size x < \pi$.

Proof
From Power Series Expansion for Cotangent Function:

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

From Power Series is Termwise Integrable within Radius of Convergence, $(1)$ can be integrated term by term: