{"schema":"vela.problem-packet.v0.1","problem":451,"statement":"Estimate $n_k$, the smallest integer $&#62;2k$ such that $\\prod_{1\\leq i\\leq k}(n_k-i)$ has no prime factor in $(k,2k)$.","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A386620","name":"a(n) is the smallest integer k > 2*n such that Product_{i=1..n} (k - i) has no prime factor p in n < p < 2*n.","terms":"3,6,9,20,13,21,21,22,65,220,51,338,133,321,339,340,113,114,368,550,805,2691,1884,2664,7653,7654,36887,36888,21234,21235,","url":"https://oeis.org/A386620"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}