При этом
@, < @:: * *4в < п”; | (4)) ® (43) :° *в (9%) = — 1. (7,6,18)
Таким образом, возвращаясь к (7,4,3), найдем:

0%2)(’1)24 ® х. (7) 3 ® (91) # (92) * * ® (4#)-

7<7о [і°<(]"…а]е<пт
Ч(41* * * в) * ** Х; == п (той ); 41** : да **р <П) -
+- Вл (1пл)—**. (7,6,19)

Здесь 1' ' *& ЕАр
$ 7. ОКОНЧАТЕЛЬНАЯ ФОРМУЛА ДЛЯ @® (п)

Для удобства дальнейших вычислений нам будет выгодно
присоединить к сумме (7,6,19) такую же сумму, где 41° * 'Фв
изменяется от л" до л. Мы докажем, что это дает допустимую
погрешность.

Лемма 7.7.1

4 Ух, () У в(4): * (ав).

< пТ<Ц1...,]’е<п
Ч (д1' ** @вха* ** Хр == п (той г); 41° '‘ь° °Хр < п) ==
= В (тп) ** (7,7,1)

Здесь считается 4,9›' ' 'в С Ар.
При л* < @1' › ‘ 9в < п имеем:

Ч (д1* ** др *** Хь == п(той /), 41':)бьху: )) Х, < п) ==
= — В — * (4)т; (%). (7,7,2)
дх = п (той г)
дх<п; 4ЕАр

Для всяк01 о 46 Ар, 9^> л" можно получить разложение
9 == 4,9», где —- < 4, < УпР. Далее,
* (4) — * (Ч1Ч2) < т (41) тв (4э), — <в (4) <; () < » (41) в (92),
т (х) < т» (41) _с‚_›; (9»х).

Положим дэх =у; тогда правую часть (7,7,2) можно записать
при данном г в виде

В;(4) У () (7,7,3)

4,У =п (тойг)
фу<л

Здесь /г < г,. Пусть (4, г) = 6; тогда сумма в (7,7,3) будет
иметь оценку (см. лемму 1.1.4)

Вху (4) (т л) оо ° (7,7,4)

143