Source labels openErdős Problems · Measure and integration
Erdős Problem 1038: I
What is the infimum of |{x ∈ ℝ : |f x| < 1}| over all nonconstant monic polynomials f such
that all of its roots are real and contained in [-1,1]?
Source checked Jul 26, 20261 pinned Lean statementInspect problem