Status
On this page
Status
Topics
Status
On this page
Status
Topics
Given for all we define as the unique polynomial of degree such that and if with . We similarly define
the unique polynomial of degree which agrees with on for (that is, the sequence of Lagrange interpolation polynomials).
Is there such a sequence of such that for every continuous there exists some where
and yet
Is there such a sequence such that
for every and yet for every continuous there exists with
Source: erdosproblems.com/671
A full solution has been claimed but not yet accepted. The statement is true.
The site labels the problem OPEN (page last edited 23 January 2026). Two pending full claims on the site's proof-claims tab, both with declared AI assistance, answer both questions yes with one construction: Price's claim of 22 June 2026 (filed on the tab on 15 July), with a write-up and a Lean file, and QuietMethod's re-derivation of 24 July 2026, which declares itself a verification and refinement of the first. The site has accepted neither, this corpus has built neither Lean file, and the derived standing is claimed.