Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
1 topic

1 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Real functions

Erdős Problem 1133

Let C>0C>0. There exists ϵ>0\epsilon>0 such that if nn is sufficiently large the following holds.

For any x1,,xn[1,1]x_1,\ldots,x_n\in [-1,1] there exist y1,,yn[1,1]y_1,\ldots,y_n\in [-1,1] such that, if PP is a polynomial of degree m<(1+ϵ)nm<(1+\epsilon)n with P(xi)=yiP(x_i)=y_i for at least (1ϵ)n(1-\epsilon)n many 1in1\leq i\leq n, then maxx[1,1]P(x)>C.\max_{x\in [-1,1]}\lvert P(x)\rvert >C.

Source checked Jul 26, 20261 pinned Lean statementInspect problem