Eine durch eine Potenzreihe gegebene Funktion
ist auf ihrem Konvergenzintervall unendlich oft differenzierbar.