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