Skip to content

Erdős problem 250

Start work

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

Sources

The source's own material, retained exactly.

1 retained statement36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

250.lean

Retained formal statement1 of 1

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

The answer is yes, as shown by Nesterenko [Ne96].

[Ne96] Nesterenko, Yu V., _Modular functions and transcendence questions_, Mat. Sb. 187 *9* (1996), 1319--1348.

FormalConjectures/ErdosProblems/250.leanErdos250.erdos_2501 lineExact file
(∀ (x : ℝ), HasSum (fun n => ↑((ArithmeticFunction.sigma 1) n) / 2 ^ n) x → Irrational x) ↔ True
SolvedStatement only, no proof