И_С“ОЛЬЗУЯ ((")‘;4!6)? (2›4›8)› (‘2!4›9) и (2;4‚5) В ‹2,4,3)‚ находим
для данного 2

Е\Ё(%): 21 в (1 + Влт®) + К, — (2,4;10)
(х) : (х)
где ‘

В& = В (мгг)° (М, 2)"? (= (2))? п ла” =

= В (»э2)'? (М, г)\? п° (2,4,11)

(см. лемму 1.1.1). :
Такое же соотношение будет для верхней функции У (и).
Используя (2,4,2), найдем

0(г) = (1 + Вл-*) (2 1) В (2,4,12)
( -)
Имеем, согласно (2,3,19),

п Е
Н
Уз2 Хо

 

\>
“

Далее, х С (х) пробегает значения, взаимно простые с ;,
поэтому '

 

ЧЕ
че (2,4,13)
()
и, таким образом,
Ё 2 1> ‘_:Ъг_ ‚‹0—3_›_‚1‚-’_'5,’ (2›4›14)
(*)

Но мы имеем, согласно (2,3,3), г—=В\У/л, а в силу (2,1,2),
У» <- п\?—®. Ввиду этого,

в У 1> с,л!8+е-чд, & (2,4,15)
(х) й
(г)!? = Вл!®—®?, (2,4,16)

Заметим, что именно здесь выявляется роль константы 1/6
в формуле (2,1,2). Если бы допускались значения »; >> П, то
(2,4,16) могло бы оказаться больше (2,4,15), т. е. остаточный
член в формуле (2,4,12) мог бы быть больше главного, и мы
не смогли бы произвести асимптотического подсчета.

Будем считать, что ©; - ё <, тогда получим, сравнивая
(2,4,15) и (2,4,16),
119
(ъг)? = В, (Х 1\и-*. (9,4,17)
(5)

-
Э2