Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Statement

Corollary (printed p. 387, unnumbered). Let PP be a set of primes with ∑p∈P1/p≤K\sum_{p\in P}1/p\le K (display (1.2)). Then the number of squarefree integers up to xx divisible by no element of PP is at least cxcx, where c=c(K)>0c=c(K)>0.

Source. P. Erdős and I. Z. Ruzsa, On the small sieve. I. Sifting by primes, J. Number Theory 12 (1980), 385–394; the Corollary on printed p. 387 (PDF p. 3). The edition is identified in the source digest.

Read depth. Claims checked: the statement and its one-line derivation were read on the page image.

Proof pointer

The paper obtains it from Theorem 3 applied to the set formed by PP and the squares q2q^2 of the primes qq outside PP. That set is pairwise coprime, does not contain 11, and has reciprocal sum below K+∑qq−2<K+1K+\sum_q q^{-2}<K+1; an integer divisible by none of its elements is squarefree and free of primes of PP.

Dependencies

Bears on

No problem page cites it.