Теперь применим обобщение леммы П. Эрдеша (лемма 1.3.2).*
Согласно указанному обобщению, имеем при / < ле- Упл,

 

 

И < п _
_р (@Шшл)% _ л (110л)° 5
э одеВ сотеутеанн о ост
п-ир'=гр га
Суммируя по и, найдем оценку
п (1пл)"
В ста оно (7,14,24)

 

Отсюда находим

2 —Віпп(…п) 2 717:

г<7
© (7) >е1п п л —1

            

== В —„ …2” (1пл) Ип — ОВ ) е (7,14,25)
Таким образом,
е = В (пл)® ' (т п)”. (7,14,26)
Сопоставляя с (7,14,15) и выбирая аь:—;’— так, что {, = Т« =
—;— 10 2, находим:
20 = Ш т 11 п)”' (1п п)", (7,14,27)
где

т = 1 — ш2 > 0,0570, а, — шах (%, а). — (7,14,28)

Таким образом, _%>0,0285.

Учитывая (7,13,18) и (7,11,11), получим из (7,11,11)
х

Е?‘ т(а л) * (тл)", (7,14,29)
где а, = Ё‘—_ЁЩ— ‚ Присоединение (7,11,2) дает
2… = В. () * (1п л). (7,14,30)
Совершенно ана;огично‚
2( : =Вго(пл). ® ( л). (7,14,31)

Откуда наконец получаем (7_‚9‚1) и доказываем лемму 7.9.1.

* В котором произведены необходимые небольшие изменения.

160