{"id":"arxiv/2606.17955","url":"https://arxiv.org/abs/2606.17955","tags":["math.NT","math.CO"],"score":0,"title":"An Average-Order Theorem for a Shifted Pairwise-Coprime Extremal Problem","domain":"math.NT","source":"arxiv","authors":["Eric Li"],"reviews":0,"subject":"math.NT","summary":"For $n\\ge 2$, let $M(n)$ be the supremum of $\\sum_{a\\in A}1/(n-a)$ over pairwise coprime sets $A\\subset[1,n)$. Erdős asked whether $M(n)\\le \\sum_{p d\\}$ with a bounded-cost dual certificate and Buchstab--de Bruijn estimates. We also show $M(n)=(e^{-γ}+o(1))\\log\\log n$ for almost all $n$, with a quantitative exceptional-set bound, so Erdős's inequality holds for almost all $n$. The argument combines a long-interval two-dimensional beta sieve for two moving forbidden residue classes with an exact finite singular-series cancellation. The remaining obstacles to a full variance estimate are a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-16","reactions":{}}