Wiki
Wiki

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

Updated


Claim. I. Z. Ruzsa, Few multiples of many primes, the Theorem. For a set Q={p1<⋯<pn}Q=\{p_1<\cdots<p_n\} of primes, let m(Q,N)m(Q,N) be the least number, over intervals II of length NN, of integers in II divisible by some pjp_j. Ruzsa proves: "Let ϱ≥3\varrho\geq3 and write k=[ϱ]k=[\varrho]. There is a constant CC depending only on ϱ\varrho such that for every n>n0(ϱ)n>n_0(\varrho) there is a set Q={p1<…<pn}Q=\{p_1<\ldots<p_n\} of primes satisfying m(Q,ϱpn)<C(nlog⁡n)1−1/km(Q,\varrho p_n)<C(n\log n)^{1-1/k}." The proof is a random construction: the primes lie in (αN,βN)(\alpha N,\beta N) with N=[Knlog⁡n]N=[Kn\log n], and a random subset of [1,N][1,N] with inclusion probability of order N−1/kN^{-1/k} contains a whole residue class for many of them.

Ruzsa does not state a consequence for Problem 860, but one follows. For large nn the bound C(nlog⁡n)1−1/kC(n\log n)^{1-1/k} is below nn, so an interval of length ϱpn\varrho p_n cannot hold nn distinct multiples, one of each prime of QQ, and so not one of each prime up to pnp_n. Hence h(pn)>ϱpnh(p_n)>\varrho p_n. The primes of QQ lie in (αN,βN)(\alpha N,\beta N) with β=1/ϱ\beta=1/\varrho and α>β/2\alpha>\beta/2, and N=[Knlog⁡n]N=[Kn\log n] grows by a factor tending to one from nn to n+1n+1; since hh is nondecreasing, h(x)>(ϱ/2−o(1))xh(x)>(\varrho/2-o(1))x for all large xx. As ϱ\varrho is arbitrary, h(n)/n→∞h(n)/n\to\infty. The site's commentary and the second version of arXiv:2607.26450 credit this consequence to Ruzsa. The paper is compiled at Ruzsa (1995).

Covers. The lower bound h(n)/n→∞h(n)/n\to\infty. The order of magnitude of h(n)h(n), which the problem asks to estimate, stays open.

Acceptance. The result is refereed: Studia Sci. Math. Hungar. 30 (1995), 123--125. The link is the paper's record in the Hungarian Academy's repository. The site's commentary records the result on a problem it labels open, which is not acceptance.

Depends on. Nothing on this wiki; the argument is the paper's own.