Erdős problem 1038

Among all nonconstant monic polynomials $f$ whose roots lie in $[-1, 1]$ , determine $\inf_f |\{x \in \mathbb{R} : |f(x)| < 1\}|$ .

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/1038.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1038.leanErdos1038.erdos_1038.parts.i1 lineExact file

1∀ (n : ℕ), sorry = ⨅ f, MeasureTheory.volume {x | |Polynomial.eval x ↑f| < 1}

OpenStatement only, no proof

Reported by these sources. Not reviewed here.