Status
On this page
Status
Topics
Status
On this page
Status
Topics
Let be the size of the largest such that there are no solutions to
with distinct ?
Estimate . In particular, is ?
Source: erdosproblems.com/302
No claim settles this problem.
Open: the site's label is OPEN (no last-edited date shown;), and the site marks the problem as not resolvable by a finite computation. The standing derived from the claim pages is open, claim none: five pending partial claims, Cambie's construction of density 5/8 and van Doorn's upper bound 9/10, both recorded from the site's commentary, Schuh's 373/420 and Khanukov's two-sided bounds from the proof-claim tab, and Kitamura's Lean upper bound of about 0.8462 from the discussion thread, none of which would settle the estimation question. The bounds supported by sources read here are : the upper bound comes from the site's argument for Problem 301 (elementary; its counting facts checked on that problem's page), which uses only two-term relations and sharpens van Doorn's Theorem 2, (an undated GitHub note of 2025, unrefereed; statement checked, proof read for structure); the lower bound is Cambie's construction in the site's commentary (elementary, checked here). Since , the site's particular guess fails; that negative answer is Cambie's partial claim, pending because the site's commentary credits it while the site's label is OPEN, which it keeps for the estimation question. No proof, disproof or accepted determination of the asymptotic constant was found in the search whose scope the Current assessment records.