{"schema":"vela.problem-packet.v0.1","problem":981,"statement":"Let $\\epsilon&#62;0$ and $f_\\epsilon(p)$ be the smallest integer $m$ such that $\\sum_{n\\leq N}\\left(\\frac{n}{p}\\right)<\\epsilon N$ for all $N\\geq m$. Prove that\\[\\sum_{p<x}f_\\epsilon(p)\\sim c_\\epsilon \\frac{x}{\\log x}\\]for some $c_\\epsilon>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)"}