{"schema":"vela.problem-packet.v0.1","problem":891,"statement":"Let $2=p_1<p_2<\\cdots$ be the primes and $k\\geq 2$. Is it true that, for all sufficiently large $n$, there must exist an integer in $[n,n+p_1\\cdots p_k)$ with $>k$ many prime factors?","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)"}