Brun–Titchmarsh theorem
The Brun–Titchmarsh theorem bounds the number of primes at most x in a reduced residue class modulo q by 2x divided by φ(q) log(x/q), for x > q.
The Brun–Titchmarsh theorem bounds the number of primes at most x in a reduced residue class modulo q by 2x divided by φ(q) log(x/q), for x > q.