Bah justement pour exp(x) tu reprends le même raisonnement
Analyse:
Si exp est développable en série entière de la forme somme des an x^n
[d^nexp(x)/dx^(n)](0)=1
Donc exp(x)=somme des x^(n)/n!
Synthèse:
Réciproquement exp est la seule solution de
f'=f
f(0)=1
et ça marche 