The remainders in the sieve distribution are defined by
Multiply the pointwise inequality from part (a) by and sum. Finite rearrangement gives
To identify the main quadratic form, put . For squarefree integers , multiplicativity gives
The second identity is also valid if or is not squarefree: both sides then vanish. Therefore the Selberg sieve diagonalization gives
This proves . Notice that the hypotheses do not force to vanish on non-squarefree integers; those coefficients simply make no contribution to this main quadratic form because .

Articles by others on the same topic (0)

There are currently no matching articles.