{"schema":"vela.problem-packet.v0.1","problem":478,"statement":"Let $p$ be a prime and\\[A_p = \\{ k! \\pmod{p} : 1\\leq k<p\\}.\\]Is it true that\\[\\lvert A_p\\rvert \\sim (1-\\tfrac{1}{e})p?\\]","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A210184","name":"Number of distinct residues of all factorials mod prime(n).","terms":"2,3,4,5,6,10,12,12,17,19,21,26,29,26,31,35,37,41,42,39,44,49,55,59,59,65,71,75,63,73,80,82,90,90,104,86,103,104,107,111,","url":"https://oeis.org/A210184"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}