Formule de Stirling
On démontre ici l’équivalent : {n!\overset{+\infty}\sim \Bigl(\dfrac{n}{\text{e}}\Bigr)^{n}\,\sqrt{2\pi n}}.
Séries positives
Série et produit infini
(Oral Mines-Ponts)
Soit {x\in\,\mathbb{R}^{+*}}. On pose : {u_{n}=\dfrac{n!}{x^{n}}\,\displaystyle\prod_{k=1}^{n}\ln\Bigl(1+\dfrac{x}{k}\Bigr)}.
Préciser {\displaystyle\lim_{n\to+\infty}u_n(x)}.
Étudier la convergence de {\displaystyle\sum\Bigl(v_{n}-\alpha\ln\Bigl(1+\dfrac{1}{n}\Bigr)\Bigr)}.
En déduire qu’il existe {A > 0} tel que {u_{n}\underset{+\infty}{\sim} An^{\alpha}}.
Soit {x\in\,\mathbb{R}^{+*}}. On pose : {u_{n}=\dfrac{n!}{x^{n}}\,\displaystyle\prod_{k=1}^{n}\ln\Bigl(1+\dfrac{x}{k}\Bigr)}.
Préciser {\displaystyle\lim_{n\to+\infty}u_n(x)}.
Étudier la convergence de {\displaystyle\sum\Bigl(v_{n}-\alpha\ln\Bigl(1+\dfrac{1}{n}\Bigr)\Bigr)}.
En déduire qu’il existe {A > 0} tel que {u_{n}\underset{+\infty}{\sim} An^{\alpha}}.