Skip to content

Erdős problem 252

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

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/252.lean

Formal Conjectures

FormalConjectures/ErdosProblems/252.leanErdos252.erdos_2521 lineExact file
True ↔ ∀ k ≥ 1, Irrational (Erdos252.erdos_252_sum k)
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page