J0=e−1. J1 : IPP avec u=1−x, v′=ex : J1=[(1−x)ex]01+∫01exdx=−1+(e−1)=e−2.
Jn+1=[(1−x)n+1ex]01+(n+1)∫01(1−x)nexdx=−1+(n+1)Jn (le crochet vaut 0−1).
Initialisation : J0=0!(e−1) ✓. Hérédité : si Jn=n!(e−∑k=0nk!1) alors Jn+1=(n+1)Jn−1=(n+1)!(e−∑k=0nk!1)−1=(n+1)!(e−∑k=0nk!1−(n+1)!1)=(n+1)!(e−∑k=0n+1k!1) ✓. Pour n=2 : J2=2(e−25)=2e−5≈0,437.
Pour x∈[0;1], 0≤(1−x)nex≤(1−x)ne. Donc 0≤Jn≤e∫01(1−x)ndx=n+1e.
On divise l'encadrement précédent par n! : 0≤e−k=0∑nk!1≤(n+1)n!e=(n+1)!e. Comme (n+1)!e→0, k=0∑nk!1→e. Pour n=6 : 7!e≈0,00054<10−3 ; pour n=5 la majoration vaut 6!e≈0,0038>10−3 (elle ne suffit plus). Il suffit donc de 7 termes (k=0 à 6) : ∑k=06k!1≈2,7181.