Мундарижа. 1-боб. Арифметик прогрессиядаги туб сонлар

2-лемма. Агар бўлса, у ҳолда ихтиёрий натурал сони учун



_{формула} ўринли. Бунда

Исботи. натурал сонини олиб (4)-формулани қўллаймиз. У ҳолда эканликларини эътиборга олиб қуйидагига эга бўламиз:

Бундан ва да қуйидаги келиб чиқади:

Бу охирги интеграл ярим текисликдаги аналитик функцияни аниқлайди. Аналитик давом эттириш принципига кўра бу ердан лемманинг тасдиғи келиб чиқади.