{"schema":"vela.problem-packet.v0.1","problem":255,"statement":"Let $z_1,z_2,\\ldots \\in [0,1]$ be an infinite sequence, and define the discrepancy\\[D_N(I) = \\#\\{ n\\leq N : z_n\\in I\\} - N\\lvert I\\rvert.\\]Must there exist some interval $I\\subseteq [0,1]$ such that\\[\\limsup_{N\\to \\infty}\\lvert D_N(I)\\rvert =\\infty?\\]","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)"}