Jump to content

Real power series/Infinitely often differentiable/Fact

From Wikiversity

A function given by a power series

is infinitely often differentiable on its interval of convergence.