The remainders in the sieve distribution are defined byMultiply the pointwise inequality from part (a) by and sum. Finite rearrangement givesTo identify the main quadratic form, put . For squarefree integers , multiplicativity givesThe second identity is also valid if or is not squarefree: both sides then vanish. Therefore the Selberg sieve diagonalization givesThis 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
There are currently no matching articles.