Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Let be the extremal function of Problem 301: the largest size of a set with no relation among distinct elements, . The site's commentary credits Wouter van Doorn with an elementary argument proving
The argument as the commentary gives it: as runs over the integers with , the sets are pairwise disjoint; a relation-free must omit at least two elements of when and at least one when ; a short count finishes the proof. The problem page checks the two counting facts: within every four-element subset contains one of the relations , , and , and the integers of that form have density , so at least elements are omitted.
Covers. The upper bound only. It does not bear on the particular question, whether , and it bounds above by 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.