Erdős problem 252 · problems.science

Erdős Problem 252: irrationality of the sum for a given $k$ .

Sources

Browse retained paths and inspect the exact material available for this Problem.

9 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

252.lean

Retained formal statement7 of 9

For a fixed k ≥ 5, is ∑ σ k n / n! irrational?.

FormalConjectures/ErdosProblems/252.leanErdos252.erdos_252.variants.k_ge_five1 lineExact file

1True ↔ ∀ k ≥ 5, Irrational (Erdos252.erdos_252_sum k)

OpenStatement only, no proof