DE l'academie des SCIENCES. 329 



done : 



logF(x)-logF (-)<-* % ^ J- log 2- log j:4— a- 



. /.x\ log 2 x log 2 2 log 2 log'r . . 

 logFj^-logF^-^ — J ^_ + logo:.log 2 



ou simplifiant : 



logF(*)-logF (?)<'log*log a _!^ + !2|2 



logFj^-logF^Q > log. log 2 - fc-!Pll 



mais, d'autre part, il est facile de voir par les formules 

 etablies, que : 



log^)=logF_(*)-IlogF_(£) 

 et : 



^ og ?_ I ® = i log i 1 ©~? Iog9 - I (i)~^ Iog L(l)" 



d'ou: 



ilogF_ i Q=ilog,_ i QH-ilog L (^+Ilog,_ i (|) + ... 



> 3 log? _ I (l)+S Ios? _ I (5) + 



done : 



log ? _(x)>logF_(x)-^logF_ i g) 



et, a fortiori : 



log <p{x) > log F 0*0 — log ¥ (J\ 

 d'autre part, 



i,o 8 r L| @_j los? _ i Q = - l „ 6L (D + i,„ SL (|) + ... 



