Assuming that has a power-series representation in terms of powers of , verify that it has the form

valid for all real .

From the definition of the exponential we have

We also know the series expansion for ,

Therefore,

This converges everywhere is defined (since the series expansion of converges for all real ). Hence, this is valid for all and all (since that is where is defined).