Power Series Expansion for Real Area Hyperbolic Sine/Lemma