Selberg sieve denominator asymptotic
ID: selberg-sieve-denominator-asymptotic
Put . As a Dirichlet convolution, , where is a multiplicative arithmetic function with , , and for . The local sums are one, so . The series converges, since the prime-local errors are . Consequently by the harmonic number estimate . This identifies the leading constant in the one-dimensional Selberg upper-bound sieve.
New to topics? Read the docs here!