APPLICATION A LA FORMULE DE STIRLING

C = i—o,o8333,.. .+0,00275. ...—-0,00079... .4-0,00059... — o,ooo84«.. +0,00209.... — ^^' )

ce qui suffit pour manifester la divergence de la série , et pour montrer qu'elle ne peut servir à déterminer la valeur de la constante C.

La série qui procède suivant les puissances impaires et négatives de a:, dans les équations (i4) et (i5), est pareillement divergente; mais quand on prend pour x le nombre 1000, le terme affecté de B3 n'influe déjà plus que sur les décimales d'un ordre supérieur au. 11^; et il faudrait embrasser un nombre immense de termes pour que la divergence de cette série se manifestât, par suite de Faccroissement progressif des coefficients B. Si l'on prenait seulement ^ = 10, le terme affecté de B5 serait moindre qu'une unité décimale du 8* ordre; et le nombre de termes qu'il faudrait embrasser, pour rendre sensible la divergence de la série, serait encore trop grand pour qu'on pût, dans la pratique, en effectuer le calcul.

Cependant il suffit que la série finisse par diverger pour qu'on ne puisse, en l'employant, attribuer aux calculs une rigueur mathématique, que sous la condition d'assigner une limite au reste négligé [^5]. Or, cette limite , dans le cas particulier, se déduit avec une grande simplicité de celle que M. Poisson a assignée au reste de la série d'Euler. Il faut seulement , pour obtenir des limites assez resserrées, changer l'origine 'de la sommation. Ainsi ^ nous pourrons décomposer la somme S' log X en S'** log j:-|- S', log x , et rien n'empêchera de calculer directement la constante S 7 log x avec toute l'exactitude désirable. On aura ensuite

§* log X = ^log X — x-^- I — 1 1 log II

B./i i\ B3/ I i\ Bj/i i\ . .

Quand on arrête la série au terme affecté de B5 , le reste négligé tombe , d'après ce qui précède , au-dessous d'une unité décimale du 8^ ordre, quelle que soit la valeur x assignée à la limite supérieure de l'intégrale.

Au surplus^ M. Liouville a mis le reste de la série (i 6), arrêtée au terme affecté de B,,.., sous la forme