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 .