On appelle intégrales de Wallis les intégrales suivantes : On peut calculer leur valeur en obtenant une formule de récurrence par une intégration par parties : On obtient alors : Les intégrales de Wallis interviennent notamment dans le calcul de la constante intervenant dans la formule de Stirling. Réciproquement, une fois la formule de Stirling établie, on obtient l'équivalent suivant au voisinage de l'infini: