{"schema":"vela.problem-packet.v0.1","problem":1038,"statement":"Determine the infimum and supremum of\\[\\lvert \\{ x\\in \\mathbb{R} : \\lvert f(x)\\rvert < 1\\}\\rvert\\]as $f\\in \\mathbb{R}[x]$ ranges over all non-constant monic polynomials, all of whose roots are real and in the interval $[-1,1]$.","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}