{"schema":"vela.problem-packet.v0.1","problem":239,"statement":"Let $f:\\mathbb{N}\\to \\{-1,1\\}$ be a multiplicative function. Is it true that\\[ \\lim_{N\\to \\infty}\\frac{1}{N}\\sum_{n\\leq N}f(n)\\]always exists?","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)"}