Prime Number Theorem And ...

1 The project
2 Basic definitions and notation
3 First approach: Wiener-Ikehara Tauberian theorem ▶
4 Second approach ▶
5 Third Approach ▶
6 Elementary Corollaries ▶
- 6.1 Consequences of the PNT in arithmetic progressions
- 6.2 Consequences of the Chebotarev density theorem
7 Explicit estimates
8 Zeta function estimates ▶
9 Primary explicit estimates ▶
10 Secondary explicit estimates ▶
11 Tertiary explicit estimates ▶
12 Iwaniec-Kowalski ▶
- 12.1 Blueprint for Iwaniec-Kowalski Chapter 1
13 Bombieri-Vinogradov
14 Bibliography
Dependency graph

13 Bombieri-Vinogradov

A formalization of Bombieri-Vinogradov (modulo Siegel-Walfisz) is under way at https://github.com/FLDutchmann/lean-bombieri-vinogradov