APPLICATION A LA FORMULE DE STIRLING

,C=:i — o,o8333.... ■+■0,00275.... — 0,00079... .-1-0,00059... — o,ooo84f«+o,oo209.... — etc. ;

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 x, dans les équations (i4) et (i5), est pareillement divergente ; mais quand on prend pour x le nombre looo, 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 l'accroissement progressif des coefficients B. Si l'on prenait seulement j;=iz: 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éconvposer la somme S' log X en S'** log .r-|-S,' log .r , et rien n'empêchera de calculer directement la constante S 7 log x avec toute l'exactitude désirable. On aura ensuite

474 uvBE VIII. — -^' cHAPiras m

§ \og X z=:z x\og X ' — J?+ I-^-^tlli>g It

i.a\n xJ^^Kii^ W 5.fi\ii* «»/■ Quand on arrête la série au terme affecté de B^, le reste négligé tombe , d'après ce qui précède ^ au-denooi d*une unité décimale du 8* ordre, quelie que soit U valeur x assiguée à la limite supérieure de l'intégiik. Au surplus , M. Liouville a mis le reste de la série (16), arrêtée au terme affecté de B^^,, sons la fime

fa désignant la fonction [^9^1 9 et 0 un nombre

compris entre zéro et Tunité ('). Si donc Ton représente par "ku^ le maximum numérique de la fonction P^'^\ entre les limites o, oo , le reste négligé sera numériquement plus petit que

Quand on ne conserve dans la série (16) que les termes indépendants des coefficients B, ce calcul donne pour Texpi^ession du reste négligé

f • (6a) rfa ,.

et la valeur maximum de la fonction

I a -p rr

{i^—iy

est, comme M. Liouville le fait voir, f"(o)=i=B,. Dans ce cas, parconscquent, le reste négligé tombe au-

dessous de — i ; et si j: est de l'ordre des mille^ le reste

tÀX

(*) Journal de mathématiques, lom. IV, pag. 3i7.