{"schema":"vela.problem-packet.v0.1","problem":1203,"statement":"If $\\omega(n)$ counts the number of distinct prime divisors of $n$ then let\\[F(n)=\\max_k \\omega(n+k)\\frac{\\log\\log k}{\\log k}.\\]Prove that $F(n)\\to \\infty$ as $n\\to \\infty$.","status":"open","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)"}