ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 10 — Analyse asymptotique et développements limités · Relations de comparaison

Exercice 7

Démonstration

Une somme de factorielles. Montrer que ∑k=0nk!∼n!\displaystyle\sum_{k=0}^{n} k! \sim n!. On pourra majorer ∑k=0n−2k!\displaystyle\sum_{k=0}^{n-2} k! par (n−1)⋅(n−2)!(n - 1) \cdot (n - 2)!.

Corrigé

Pour n⩾2n \geqslant 2, on isole les deux derniers termes : ∑k=0nk!=n!+(n−1)!+∑k=0n−2k!,avec0⩽∑k=0n−2k!⩽(n−1)(n−2)!=(n−1)!,\sum_{k=0}^{n} k! = n! + (n - 1)! + \sum_{k=0}^{n-2} k!, \qquad\text{avec}\qquad 0 \leqslant \sum_{k=0}^{n-2} k! \leqslant (n - 1)(n - 2)! = (n - 1)!, puisque la somme comporte n−1n - 1 termes, tous majorés par (n−2)!(n - 2)!. Ainsi n!⩽∑k=0nk!⩽n!+2(n−1)!n! \leqslant \sum_{k=0}^{n} k! \leqslant n! + 2(n - 1)!, et en divisant par n!n!, 1⩽1n!∑k=0nk!⩽1+2n.1 \leqslant \frac{1}{n!}\sum_{k=0}^{n} k! \leqslant 1 + \frac{2}{n}.

∑k=0nk!∼n!\boxed{\sum_{k=0}^{n} k! \sim n!} La factorielle croît si vite que le dernier terme écrase la somme de tous les précédents. Ce n'est pas le cas pour une suite géométrique de raison 22, où ∑k=0n2k∼2⋅2n\sum_{k=0}^{n} 2^{k} \sim 2 \cdot 2^{n}.

Dans l'édifice

Thèmes

relations de comparaison, équivalents, factorielles, sommes

Notions

négligeable

Ouvrir dans l'atlas interactif →