{"schema":"vela.problem-packet.v0.1","problem":259,"statement":"Is the sum\\[\\sum_{n} \\mu(n)^2\\frac{n}{2^n}\\]irrational?","status":"solved","seam":"raw","closureRoutes":[],"obligations":[],"attestations":[],"attempts":[],"velaLean":[],"oeis":[{"id":"A371134","name":"Decimal expansion of Sum_{squarefree k>=1} k / 2^k.","terms":"1,6,9,7,9,0,7,8,1,9,7,7,9,6,2,5,0,6,4,4,6,4,2,4,0,8,9,9,6,5,3,4,7,8,9,1,8,4,3,6,3,5,1,5,3,1,8,8,6,2,4,7,2,6,3,4,0,6,9,9,","url":"https://oeis.org/A371134"}],"generated_note":"derived view; the signed event log is the source of truth (vela check / vela reproduce)"}