Développement :
Formule de Stirling (par le théorème central limite)
Détails/Enoncé :
On applique le théorème central limite à des v.a. i.i.d. de loi $\mathcal{E}(1)$ et on retrouve la formule de Stirling :
\[n!\sim \sqrt{2\pi}\, n^{n+\frac{1}{2}}\, \mathrm{e}^{-n}\]
Démonstration rapide. On peut aussi faire un argument de convergence dominée plutôt que de convergence monotone, voir : https://kconrad.math.uconn.edu/blurbs/analysis/stirling.pdf
La référence c'est 131 dév, mais c'est pas la version qui est mise en avant. Il faut aller voir dans les commentaires qui sont faits juste après page 585. Sinon le dev est sympa surtout pour les gens comme moi qui ont du mal avec les proba
Attention, ce développement est utilisé dans des leçons de votre couplage. Voulez-vous quand même le supprimer de votre couplage ?
Notre livre est édité !
Après plus d'un an et demi d'écriture, notre livre voit enfin le jour !
Cet ouvrage a été relu par des agrégatifs comme vous pour en faire un outil le plus utile possible !
Cet ouvrage propose une liste de développements analysés finement, replacés dans un contexte global listant le plus exhaustivement possible les imbrications des résultats avec le reste du monde mathématique. Le lecteur trouvera dans cet ouvrage toute les techniques fondamentales de preuve ainsi que des entraînements complets et pédagogiques afin d’être préparé au mieux pour le concours de l’agrégation de mathématiques.