{"schema":"vela.problem-packet.v0.1","problem":682,"statement":"Is it true that for almost all $n$ there exists some $m\\in (p_n,p_{n+1})$ such that\\[p(m) \\geq p_{n+1}-p_n,\\]where $p(m)$ denotes the least prime factor of $m$?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A386978","name":"Numbers k such that the k-th prime gap contains an integer whose least prime factor is greater than or equal to the length of the prime gap.","terms":"2,3,5,7,10,13,15,17,20,21,26,28,32,33,34,35,37,39,41,42,43,45,47,49,52,53,54,55,57,60,61,64,66,68,69,72,73,74,77,79,81,8","url":"https://oeis.org/A386978"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}