Reelle Potenzreihe/Unendlich oft differenzierbar/Fakt

Eine durch eine Potenzreihe gegebene Funktion

ist auf ihrem Konvergenzintervall unendlich oft differenzierbar.