analysis / Analysis, Polynomials

Erdős Problem #1151

Let $\mathcal{L}^nf$ be the Lagrange interpolation polynomials of a continuous $f$ on the Chebyshev nodes. Prove that, for any closed $A\subseteq [-1,1]$, there exists a continuous function $f$ such that $A$ is the set of limit points of $\mathcal{L}^nf(x)$.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisApr 30, 2026Significance 10/100Registry: lean verified

Erdős Problem #1151

Prior state unknownproved

An elementary solution via a primitive-row decomposition of the Chebyshev-node measures; the main theorem is formalized in Lean, but erdosproblems.com still lists the problem open

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Let $\mathcal{L}^nf$ be the Lagrange interpolation polynomials of a continuous $f$ on the Chebyshev nodes. Prove that, for any closed $A\subseteq [-1,1]$, there exists a continuous function $f$ such that $A$ is the set of limit points of $\mathcal{L}^nf(x)$.

An elementary solution via a primitive-row decomposition of the Chebyshev-node measures; the main theorem is formalized in Lean, but erdosproblems.com still lists the problem open

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.