Formule de Stirling (par les intégrales de Wallis)

Mes documents sont longs, déjà parce que je parle vite (donc il faut beaucoup de contenus), que j'écris gros, et que j'aime bien comprendre dans les détails, mais aussi et surtout parce qu'il y a beaucoup de remarques/infos à la fin, pour essayer d'être capable de répondre au max de questions liées au dev ! Evidemment, il est fort possible qu'il y ait des coquilles de ci de là, n'hésitez pas à me les signaler ! (Bon courage !)

Un développement vraiment sympa qui reprend quelques techniques classiques niveau L1, pour démontrer la formule de Stirling. Il est plutôt simple ; il faut juste être un peu endurant en calcul de mon point de vue. Attention aux coquilles.

D'après moi pour les leçons : 223 et 236. Attention à la petite coquille dans le Gourdon, et la suite $v_n$ est certes un $O(\frac{1}{n^2})$ mais n'est pas positive, donc le critère de comparaison des séries à terme positif ne s'applique pas, et je pense qu'il est plus sûr de préciser que $v_n$ est alors absolument convergente donc convergente. J'ai également légèrement modifié l'indiçage sur les intégrales de Wallis pour avoir des calculs qui, d'après moi, se goupillent mieux. NB : tous mes développements sont généralement très détaillés car j'ai besoin de bien comprendre toutes les étapes. En l'état ils sont donc généralement trop longs pour tenir en 15 mins, et les parties \"faciles\" ne sont donc pas à mentionner ou juste à l'oral. J'écris assez mal également, toutes mes excuses.