{"schema":"vela.problem-packet.v0.1","problem":822,"statement":"Does the set of integers of the form $n+\\phi(n)$ have positive (lower) density?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A121048","name":"a(n) = n + phi(n), where phi is the Euler totient function.","terms":"2,3,5,6,9,8,13,12,15,14,21,16,25,20,23,24,33,24,37,28,33,32,45,32,45,38,45,40,57,38,61,48,53,50,59,48,73,56,63,56,81,54,","url":"https://oeis.org/A121048"},{"id":"A155085","name":"a(n) = n + sum of divisors of n.","terms":"2,5,7,11,11,18,15,23,22,28,23,40,27,38,39,47,35,57,39,62,53,58,47,84,56,68,67,84,59,102,63,95,81,88,83,127,75,98,95,130,","url":"https://oeis.org/A155085"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}