Power Series Expansion for Real Area Hyperbolic Cosine

Theorem
The (real) inverse hyperbolic cosine function has a Taylor series expansion:

for $x \ge 1$.

Also see

 * Power Series Expansion for Real Inverse Hyperbolic Sine
 * Power Series Expansion for Real Inverse Hyperbolic Tangent
 * Power Series Expansion for Real Inverse Hyperbolic Cotangent
 * Power Series Expansion for Real Inverse Hyperbolic Secant
 * Power Series Expansion for Real Inverse Hyperbolic Cosecant