Erdős problem 250

Is $\sum_{n=1}^\infty \frac{\sigma(n)}{2^n}$ irrational? Here $\sigma(n)$ is the sum of divisors function.

No current result

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

FormalConjectures/ErdosProblems/250.lean

Formal Conjectures

FormalConjectures/ErdosProblems/250.leanErdos250.erdos_2501 lineExact file

1(∀ (x : ℝ), HasSum (fun n => ↑((ArithmeticFunction.sigma 1) n) / 2 ^ n) x → Irrational x) ↔ True

SolvedStatement only, no proof