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 ,
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).