{"schema":"vela.problem-packet.v0.1","problem":1043,"statement":"Let $f\\in \\mathbb{C}[x]$ be a monic non-constant polynomial. Must there exist a straight line $\\ell$ such that the projection of\\[\\{ z: \\lvert f(z)\\rvert\\leq 1\\}\\]onto $\\ell$ has measure at most $2$?","status":"solved","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)"}