На основаніи полученнаго результата изъ неравенства (6) найдемъ 



'<»2(»¥?і*!-іі)<»(т¥*^»¥-Й 



послѣ чего неравенство (5) дастъ 



Положимъ теперь 



т = У А lg J.. 



Тогда условія 



4 < т < \[А 

 будутъ удовлетворены и вмѣстѣ съ тѣмъ окажется 



А это неравенство и доказываетъ основную Формулу. 



§ 3. Сдѣдствія пзъ первой основной Формулы. 



Пользуясь равенствомъ 



[Я*)] = № - \№\ 



и первою основною Формулой легко найдемъ 



х^В , х^В 



V [f ix jj = V т __ І (В Q) G, 



x>Q x>Q 



гдѣ G численно меньше 



) (л lg ^) 1 



Полученную Формулу можно еще упростить. Для этой цѣли воспользуемся 

 Формулою Н. Я. Сонина, доказательство которой можно найти въ его 

 работѣ «Объ одномъ опредѣленномъ интегралѣ, содержащемъ числовую 



И. А. Н. 1917. 



