{"schema":"vela.problem-packet.v0.1","problem":5,"statement":"Let $C\\geq 0$. Is there an infinite sequence of $n_i$ such that\\[\\lim_{i\\to \\infty}\\frac{p_{n_i+1}-p_{n_i}}{\\log n_i}=C?\\]","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A001223","name":"Prime gaps: differences between consecutive primes.","terms":"1,2,2,4,2,4,2,4,6,2,6,4,2,4,6,6,2,6,4,2,6,4,6,8,4,2,4,2,4,14,4,6,2,10,2,6,6,4,6,6,2,10,2,4,2,12,12,4,2,4,6,2,10,6,6,6,2,","url":"https://oeis.org/A001223"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}