{"id":"arxiv/2606.24872","url":"https://arxiv.org/abs/2606.24872","tags":["math.NT"],"score":0,"title":"A Resolution of Erdős Problem 768: the Sylow Divisor Condition","domain":"math.NT","source":"arxiv","authors":["Eric Li"],"reviews":0,"subject":"math.NT","summary":"We resolve Erdős Problem 768. Let $A(x)$ count the positive integers $n\\le x$ such that, for every prime $p\\mid n$, there is a divisor $d>1$ of $n$ with $d\\equiv 1 \\pmod p$. Erdős asked whether $A(x)/x=\\exp(-(c+o(1))\\sqrt{\\log x}\\log\\log x)$ for some constant $c>0$. We prove that this holds with $c=1/(2\\sqrt{\\log 2})$; equivalently, $\\log(x/A(x))/(\\sqrt{\\log x}\\log\\log x)$ tends to $1/(2\\sqrt{\\log 2})$. The lower bound is obtained from primes in disjoint logarithmic intervals using a fourth-moment argument based on the multiplicative large sieve and a subset-product second moment. The upper…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-23","reactions":{}}