{"schema":"vela.problem-packet.v0.1","problem":525,"statement":"Is it true that all except at most $o(2^n)$ many degree $n$ polynomials with $\\pm 1$-valued coefficients $f(z)$ have $\\lvert f(z)\\rvert <1$ for some $\\lvert z\\rvert=1$?What is the behaviour of\\[m(f)=\\min_{\\lvert z\\rvert=1}\\lvert f(z)\\rvert?\\]","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)"}