{"schema":"vela.problem-packet.v0.1","problem":1004,"statement":"Let $c>0$. If $x$ is sufficiently large then does there exist $n\\leq x$ such that the values of $\\phi(n+k)$ are all distinct for $1\\leq k\\leq (\\log x)^c$, where $\\phi$ is the Euler totient function?","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)"}