I -h wTo> 0,88987, n-MTo> 0,994629, puis

2 po 2 o?76 i-+-mTo n- MTq

P = 7^ =/o(i + '^To) > 9993, 1 .0,88987,

Po

( -^fi)

et la relation ruoL<^p ou mieux (a -\-D)ol<C ^fi qu il s^agit de vérifier deviendra, en augmentant le premier membre et diminuant le second,

on

io«.6,44i8.2,9439< 7,9931.8,8987.9,94629.

Nous substituerons à cette inégalité Tinégalité logarithmique correspondante; seulement, au lieu déconsidérer dans celle-ci les valeurs exactes des deux membres, nous prendrons une valeur approchée par excès dans le premier membre et une valeur approchée par défaut dans le second membre, ce qui suffira évidemment. Or les logarithmes fournis par les Tables à sept décimales étant approchés par défaut ou par excès à moins d'une unité décimale du septième ordre, on a, la caractéristique L désignant les logarithmes théoriques ou vrais, 1°

L.6,44iB < 0,8090073 L. 2, 9439 < 0,4689232 L. I ,o382 < 0,016281 I

Ce qui donne 3,2942116

pour la limite supérieure du premier membre de Pinégalité logarithmique, et 2*^

Ce qui donne 3., 7990296

pour la limite inférieure du second membre de la même inégalité; on voit donc que l'inégalité logarithmique est satisfaite, et, par suite, que l'inégalité primitive l'est aussi .