Also we have
if and .
Proof. Define . So if we define
shows the radius of convergence of is . So converges pointwise on .
Taking term by term differentiation, for , we get
for . So we get the functional equation
Since , . Hence . To prove the other relation, we observe that
Then putting into in (1) and with we get
so we are done.