Twin-prime upper bound from a quadratic sieve
ID: twin-prime-upper-bound-from-a-quadratic-sieve
For , every odd prime has two forbidden residue classes. Use Selberg sieve weights supported on odd squarefree integers . Their main quadratic form is , where . The truncated Euler-product lower bound applied to primes up to gives : the mean logarithmic divisor size is , by the Mertens first theorem, and the full product is , by the Mertens second theorem. The optimal Selberg weights have modulus at most one, so the remainder is at most . The finitely many possible pairs with contribute . Thus the count is , proving the bound.
New to topics? Read the docs here!