Si l’on fait, par exemple,
ce qui donne
![{\displaystyle \mathrm {P} ={\frac {1}{i}}\left({\frac {1}{x+i}}-{\frac {1}{x}}\right)=-{\frac {1}{x(x+i)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7c0996b210012ef3587c455b41c87e5ad4db064)
on aura
![{\displaystyle \mathrm {P} '={\frac {1}{x^{2}(x+i)}}+{\frac {1}{x(x+i)^{2}}},\quad \mathrm {P} _{_{'}}={\frac {1}{x(x+i)^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21eec74e4ebd868ab8404a36f5415f5834214c0e)
donc
![{\displaystyle \mathrm {Q} ={\frac {1}{x^{2}(x+i)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa3c6feb7ec712bd70076e6fc23bced25f63f865)
ensuite
![{\displaystyle \mathrm {Q} '=-{\frac {2}{x^{3}(x+i)}}-{\frac {1}{x^{2}(x+i)^{2}}},\quad \mathrm {Q} _{_{'}}=-{\frac {1}{x^{2}(x+i)^{2}}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84e99e01c5b42eedd13baa4f89c778c79ae0f891)
et de là
![{\displaystyle \mathrm {R} =-{\frac {1}{x^{3}(x+i)}}\,;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84cb9eed6940bc48774b90cc650e3be58b7c5d9a)
on trouvera de même
![{\displaystyle \mathrm {S} ={\frac {1}{x^{4}(x+i)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c40c995dda5faa2cd02b3fd0c02947809611e76e)
et ainsi de suite, ce qui redonnera la série déjà trouvée.
Mais, pour notre objet, il importe moins de connaître les restes exacts de la série développée jusqu’à un terme quelconque que d’avoir des limites de ces restes pour pouvoir apprécier l’erreur qu’on peut commettre en ne tenant compte que de quelques-uns des premiers termes.
38. Pour cela, nous allons établir ce lemme général :
Si une fonction prime de
telle que
est toujours positive pour toutes les valeurs de
depuis
jusqu’à
étant
la différence des fonctions primitives qui répondent à ces deux valeurs de
savoir
sera nécessairement une quantité positive.
Reprenons la formule
![{\displaystyle f(x+i)=f(x)+i\mathrm {P} ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/052dedd3069abf04322db6c60220f058c6b64395)
dans laquelle
est une fonction de
et
qui, en faisant
devient