Erdős problem 252

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

Sources

The source's own material, retained exactly.

9 retained statements36c6d0fef71a

FormalConjectures/ErdosProblems/

252.lean

Retained formal statement1 of 9

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

FormalConjectures/ErdosProblems/252.leanErdos252.erdos_2521 lineExact file

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

OpenStatement only, no proof