{"schema":"vela.problem-packet.v0.1","problem":416,"statement":"Let $V(x)$ count the number of $n\\leq x$ such that $\\phi(m)=n$ is solvable. Does $V(2x)/V(x)\\to 2$? Is there an asymptotic formula for $V(x)$?","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A264810","name":"Number of numbers k <= n such that phi(m) = k for some m.","terms":"1,2,2,3,3,4,4,5,5,6,6,7,7,7,7,8,8,9,9,10,10,11,11,12,12,12,12,13,13,14,14,15,15,15,15,16,16,16,16,17,17,18,18,19,19,20,2","url":"https://oeis.org/A264810"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}