Wiki
Wiki

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

Updated


Claim. Let f(N)f(N) be the extremal function of Problem 301: the largest size of a set A⊆{1,…,N}A\subseteq\{1,\ldots,N\} with no relation 1/a=1/b1+⋯+1/bk1/a=1/b_1+\cdots+1/b_k among distinct elements, k≥2k\ge2. The site's commentary credits Wouter van Doorn with an elementary argument proving

f(N)≤(2528+o(1))N≈0.8929 N.f(N)\le\Bigl(\frac{25}{28}+o(1)\Bigr)N\approx0.8929\,N .

The argument as the commentary gives it: as aa runs over the integers 8b9cd8^b9^cd with (d,6)=1(d,6)=1, the sets Sa={2a,3a,4a,6a,12a}∩[1,N]S_a=\{2a,3a,4a,6a,12a\}\cap[1,N] are pairwise disjoint; a relation-free AA must omit at least two elements of SaS_a when a≤N/12a\le N/12 and at least one when N/12<a≤N/6N/12<a\le N/6; a short count finishes the proof. The problem page checks the two counting facts: within D={2,3,4,6,12}D=\{2,3,4,6,12\} every four-element subset contains one of the relations 12=13+16\frac12=\frac13+\frac16, 13=14+112\frac13=\frac14+\frac1{12}, 14=16+112\frac14=\frac16+\frac1{12} and 12=14+16+112\frac12=\frac14+\frac16+\frac1{12}, and the integers aa of that form have density 3/73/7, so at least 3N/28−o(N)3N/28-o(N) elements are omitted.

Covers. The upper bound f(N)≤(25/28+o(1))Nf(N)\le(25/28+o(1))N only. It does not bear on the particular question, whether f(N)=(1/2+o(1))Nf(N)=(1/2+o(1))N, and it bounds lim sup⁡f(N)/N\limsup f(N)/N above by 25/2825/28 without determining the constant.

Standing. Claimed. The result exists only as the site's commentary: no written source by the author states it, and it has no arXiv version, no journal record, no formalization and no independent review. The commentary credits it to van Doorn, but the site labels the problem OPEN (page last edited 16 January 2026;) and lists no parts, so the credit is not an acceptance and no reviewed evidence is listed. The claim is dated by the earliest archived copy of the site's page that carries the remark, that of 16 September 2025 (the second link); the archived copy of 4 October 2024 carries the site's earlier formulation of the problem without it, and no copy between the two is archived. Wang's manuscript of 27 May 2026 and Della Pietra's repository of 30 July 2026 both cite the bound as the one the site records; the smaller constants they claim are on Wang's claim page and Della Pietra's upper-bound claim page.