Power Series Expansion for Real Arcsine Function

Theorem
The (real) arcsine function has a Taylor series expansion:

which converges for $-1 \le x \le 1$.

Proof
From the General Binomial Theorem:

for $-1 < x < 1$.

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

We will now prove that the series converges for $-1 \le x \le 1$.

By Stirling's Formula:

Then:

By P-Series Converges Absolutely:


 * $\displaystyle \sum_{n \mathop = 1}^\infty \frac 1 {n^{3/2} }$

is convergent.

So by the Comparison Test, the Taylor series is convergent for $-1 \le x \le 1$.