Assuming that has a power-series representation in terms of powers of , verify that it has the form
valid for all real .
First, we recall the definition of the hyperblic sine in terms of the exponential,
Further, we know
Putting these together we have
This is valid for all since the expansions for are valid for all .