Wiki
Wiki

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

Updated


Statement

Theorem 1.3. For some absolute constant C>0C>0 the following holds. If mm and NN satisfy 4≤m≤log⁡2N4\le m\le\log^2N, then at most

Nexp⁡(Clog⁡2/3(N)/φ(m)1/3)\frac{N}{\exp\bigl(C\log^{2/3}(N)/\varphi(m)^{1/3}\bigr)}

integers n≤Nn\le N have m/nm/n not expressible as a sum of 33 unit fractions.

The paper adds: "Exploiting the large sieve, the proof is largely derivative of Vaughan's theorem in [13]" (p. 2), Vaughan's theorem being the bound N/exp⁡(clog⁡2/3N)N/\exp(c\log^{2/3}N) for the exceptions to the Erdős--Straus conjecture (Mathematika 17 (1970), the paper's [13]; recalled on p. 2).

Source. Pomerance and Weingartner, arXiv:2511.16817v2 (15 January 2026), Theorem 1.3 on p. 2, read on the page image. Published as The Ramanujan Journal 69 (2026), no. 2, article 31, DOI 10.1007/s11139-025-01312-2; the published version was not compared.

Read depth. Claims checked: the statement was read clause by clause on the page image; the proof was not read.

Dependencies

The large sieve, in the form of Vaughan's argument; not examined here.

Bears on

  • Problem 242: with m=4m=4 the theorem restates Vaughan's bound on the number of exceptions up to NN, Nexp⁡(−c(log⁡N)2/3)N\exp(-c(\log N)^{2/3}), from a held source (Vaughan's paper itself is not held); it says nothing about whether any exception exists.