{"schema":"vela.problem-packet.v0.1","problem":513,"statement":"Let $f=\\sum_{n=0}^\\infty a_nz^n$ be a transcendental entire function. What is the greatest possible value of\\[\\liminf_{r\\to \\infty} \\frac{\\max_n\\lvert a_nr^n\\rvert}{\\max_{\\lvert z\\rvert=r}\\lvert f(z)\\rvert}?\\]","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)"}