Elementary logarithmic lower bound for primes in the quadratic-residue classes of two

ID: elementary-logarithmic-lower-bound-for-primes-in-the-quadratic-residue-classes-of-two

Let count primes at most congruent to modulo eight. Bounding the prime-power divisibility of
above and its size below gives, for all sufficiently large ,

New to topics? Read the docs here!