{"schema":"vela.problem-packet.v0.1","problem":989,"statement":"If $A=\\{z_1,z_2,\\ldots \\}\\in \\mathbb{R}^2$ is an infinite sequence then let\\[f(r)=\\max_C \\left\\lvert \\lvert A\\cap C\\rvert-\\pi r^2\\right\\rvert,\\]where the maximum is taken over all circles $C$ of radius $r$.Is $f(r)$ unbounded for every $A$? How fast does $f(r)$ grow?","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)"}