{"schema":"vela.problem-packet.v0.1","problem":1139,"statement":"Let $1\\leq u_1<u_2<\\cdots$ be the sequence of integers with at most $2$ prime factors. Is it true that\\[\\limsup \\frac{u_{k+1}-u_k}{\\log k}=\\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)"}