For a positive integer , define
The sequence has sieve distribution when is a multiplicative arithmetic function on the squarefree divisors of , with , and
for every . The function models the local density of divisibility by , while is the remainder.
The weighted sifting function is
Let and let the real Selberg sieve weights vanish unless and . Since
expansion and the distribution hypothesis give
For the optimizing Selberg weights, the main quadratic form is , where
Thus the general upper bound is
If the sieve level is instead defined as the largest possible least common multiple, one supports the individual weights on ; this is the same statement after replacing by .
Put and let be the number of roots of modulo . For squarefree , the Chinese remainder theorem gives
Indeed, for the three roots are distinct. Counting in each of the residue classes gives
Consequently a suitable sieve distribution is
This is the polynomial root density in a sieve calculation.
Write . By the Prime number theorem and partial summation, the sum is at most a constant times
Make the substitution . Since , this becomes
For , the final integral is after decreasing the absolute constant ; any polynomial factor in is absorbed by the exponential, and bounded causes no problem. Taking proves
the exponentially damped reciprocal-prime sum estimate.
Take to contain the primes at least ; the exceptional local behavior at and is then harmless. Fix a sufficiently large constant and later choose
with fixed small . The Buchstab identity gives
The first term is for a positive constant , by direct counting in the finitely many permitted residue classes modulo .
For each term in the sum, part c supplies the local factor and remainders bounded by powers of . Apply the Selberg upper-bound sieve to the remaining prime conditions. Mertens theorem gives the dimension-three density
so the main terms in the Buchstab sum are bounded by
This convergent tail can be made smaller than by taking large. The weighted remainder terms are : the estimate controls the summed remainders, while part d controls uniformly the loss caused by the finite sieve level. Choosing sufficiently small relative to , and then taking large, therefore gives
for some absolute .
For every counted , the distinct prime divisors of are either below the fixed or at least . The first class contains at most primes, while makes the second class contain at most
primes. Since every prime divisor of , , or divides ,
after enlarging an absolute constant . A positive proportion occurs for arbitrarily large , so infinitely many such exist. This is the almost-primes from an upper-bound sieve and Buchstab identity method.
Replace by . The only change is at the locally obstructing primes: every value is divisible by , and every value is divisible by , so omit both primes from . For every , the three roots are distinct and again give and . All Selberg upper-bound sieve, Buchstab identity, and large-prime-factor estimates from part e are unchanged, proving the analogous result.

Articles by others on the same topic (0)

There are currently no matching articles.