{"schema":"vela.problem-packet.v0.1","problem":1118,"statement":"Let $f(z)$ be a non-constant entire function such that, for some $c$, the set $E(c)=\\{ z: \\lvert f(z)\\rvert &#62;c\\}$ has finite measure. What is the minimum growth rate of $f(z)$?If $E(c)$ has finite measure then must there exist $c'&#60;c$ such that $E(c')$ has finite measure?","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)"}