{"schema":"vela.problem-packet.v0.1","problem":1184,"statement":"Let $f(n,k)$ count the number of $1\\leq i\\leq k$ such that $P(n+i)>k$ (where $P(m)$ is the largest prime divisor of $m$). Is it true that, if $\\alpha>1$ is such that $n=k^{\\alpha+o(1)}$, then\\[f(n,k)=(1-\\rho(\\alpha)+o(1))k,\\]where $\\rho$ is the Dickman 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)"}