{"schema":"vela.problem-packet.v0.1","problem":227,"statement":"Let $f=\\sum_{n=0}^\\infty a_nz^n$ be an entire function which is not a polynomial. Is it true that if\\[\\lim_{r\\to \\infty} \\frac{\\max_n\\lvert a_nr^n\\rvert}{\\max_{\\lvert z\\rvert=r}\\lvert f(z)\\rvert}\\]exists then it must be $0$?","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)"}