Wenn die rechte Seite einer Differentialgleichung eine Potenzreihe im Anfangswert besitzt, dann bekommt man bei jeder Iteration des Picard/Lindelöf-Operators einen weiteren korrekten Koeffizienten der Taylor-Reihe der Lösung. Folgt daraus auch schon die Existenz einer analytischen Lösung?