{"schema":"vela.problem-packet.v0.1","problem":249,"statement":"Is\\[\\sum_n \\frac{\\phi(n)}{2^n}\\]irrational? Here $\\phi$ is the Euler totient function.","status":"open","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A256936","name":"Decimal expansion of Sum_{k>=1} phi(k)/2^k, where phi is Euler's totient function.","terms":"1,3,6,7,6,3,0,8,0,1,9,8,5,0,2,2,3,5,0,7,9,0,5,0,8,1,4,6,2,1,3,0,8,8,1,3,9,0,7,4,8,9,1,9,9,8,9,6,2,7,9,4,8,5,2,9,5,6,5,9,","url":"https://oeis.org/A256936"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}