English

Improved Bounds for Distinct Multiples in Intervals

Number Theory 2026-07-29 v1 Combinatorics

Abstract

In this note, we study two functions introduced by Erd\H{o}s and Pomerance. For any positive integer nn, let F(n)F(n) be the smallest integer F>0F>0 such that any FF consecutive integers contain a distinct multiple for each positive integer at most nn, and let hP(n)h_{\mathbb{P}}(n) be the smallest integer H>0H>0 such that any HH consecutive integers contain a distinct multiple for each prime at most nn. Based on the square-residue digit construction of Green and Ruzsa, we prove F(n)hP(n)nexp ⁣(150lognloglogn), F(n)\ge h_{\mathbb P}(n)\ge n\exp\!\left(\frac{1}{50}\frac{\log n}{\log\log n}\right), for sufficiently large nn. This improves the previous bounds hP(n)/nh_{\mathbb P}(n)/n\to\infty by Ruzsa, F(n)nlogn/loglognF(n)\gg n\log n/\log \log n by van Doorn, and F(n)nlognF(n)\gg n\log n by Kominers and, in particular, disproves the conjecture F(n)nlognF(n)\ll n\log n by Kominers. Moreover, we prove F(n)nβ+o(1)n1.4031andhP(n)n7/5(logn)2/5, F(n)\le n^{\beta+o(1)}\ll n^{1.4031} \qquad {\rm and}\qquad h_{\mathbb P}(n) \ll \frac{n^{7/5}}{(\log n)^{2/5}}, where β(1,2)\beta\in (1,2) is the root of 2β38β2+8β1=02\beta^3-8\beta^2+8\beta-1=0. This improves the previous best bounds F(n)n3/2F(n)\ll n^{3/2} and hP(n)n3/2/lognh_{\mathbb{P}}(n)\ll n^{3/2}/\sqrt{\log n} by Erd\H{o}s and Pomerance in 1980. Our upper bound on F(n)F(n) is a corollary of the sum--difference theorem of Katz and Tao, while the upper bound on hP(n)h_{\mathbb P}(n) is achieved via a novel combinatorial method.

Cite

@article{arxiv.2607.26450,
  title  = {Improved Bounds for Distinct Multiples in Intervals},
  author = {Kaizhe Chen},
  journal= {arXiv preprint arXiv:2607.26450},
  year   = {2026}
}