{"schema":"vela.problem-packet.v0.1","problem":1138,"statement":"Let $x/2<y<x$ and $C>1$. If $d=\\max_{p_n&#60;x} (p_{n+1}-p_n)$, where $p_n$ denotes the $n$th prime, then is it true that\\[\\pi(y+Cd)-\\pi(y)\\sim\\frac{Cd}{\\log y}?\\]","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)"}