Erdős Problem #1038
Prior state unknown→proved
Among all nonconstant monic polynomials $f$ whose roots lie in $[-1, 1]$, determine $\inf_f |\{x \in \mathbb{R} : |f(x)| < 1\}|$.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review