la calculais effectivement, je vérifierais qu’elle est très petite.
Mais cette vérification même est inutile. J’aurais pu démontrer rigoureusement que cette moyenne est plus petite que 0,003. Pour établir ce résultat, il m’aurait fallu un assez long calcul qui ne saurait trouver place ici et pour lequel je me borne à renvoyer à un article que j’ai publié dans la Revue générale des Sciences, le 15 avril 1899. Le seul point sur lequel je dois attirer l’attention, c’est le suivant : dans ce calcul, je n’aurais eu besoin que de m’appuyer sur deux faits, à savoir que les dérivées première et seconde du logarithme restent, dans l’intervalle considéré, comprises entre certaines limites.
D’où cette première conséquence que la propriété est vraie non seulement du logarithme, mais d’une fonction continue quelconque, puisque les dérivées de toute fonction continue sont limitées.
Si j’étais certain d’avance du résultat, c’est d’abord que j’avais souvent observé des faits analogues pour d’autres fonctions continues ; c’est ensuite parce que je faisais dans mon for intérieur, d’une façon plus ou moins inconsciente et imparfaite, le raisonnement qui m’a conduit aux inégalités précédentes, comme un calculateur exercé qui, avant d’avoir achevé une multiplication, se rend compte que « cela va faire à peu près tant ».
Et d’ailleurs, comme ce que j’appelais mon intuition n’était qu’un aperçu incomplet d’un
