{"schema":"vela.problem-packet.v0.1","problem":1059,"statement":"Are there infinitely many primes $p$ such that $p-k!$ is composite for each $k$ such that $1\\leq k!&#60;p$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A064152","name":"Erdős primes: primes p such that all p-k! for 1 <= k! < p are composite.","terms":"2,101,211,367,409,419,461,557,673,709,769,937,967,1009,1201,1259,1709,1831,1889,2141,2221,2309,2351,2411,2437,2539,2647,","url":"https://oeis.org/A064152"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}