Real power series/Infinitely often differentiable/Fact/Proof

Proof

This follows immediately from fact.