Erdős problem 249 · problems.science

Is $\sum_{n} \frac{\phi(n)}{2^n}$ irrational? Here $\phi$ is the Euler totient function.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/249.lean

Formal Conjectures

FormalConjectures/ErdosProblems/249.leanErdos249.erdos_2491 lineExact file

1True ↔ Irrational (∑' (n : ℕ), ↑n.totient / 2 ^ n)

OpenStatement only, no proof