Real power series/Infinitely often differentiable/Fact

A function given by a power series

is infinitely often differentiable on its interval of convergence.