En définissant la suite an ainsi : a0=6011,a1=112,an=111−1130−3000an−2an−1
alors limn→∞an=6 (essayer des simulations)
Soit:
fK(α)=∑k=0Kα2k+1𝐄(X2k),X∼N(0,1)
Alors f∞ vérifie l'équation différentielle:
f'∞(x)=1+xf∞(x)
et donc:
f∞(x)=e−x2/2(1+∫−∞xe−t2/2dt)