Power Series Expansion for Real Area Hyperbolic Cosine

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

for $x \ge 1$.