Skip to content

Erdős problem 68

Start work

∑n=2∞1n!−1=∑n=2∞∑k=1∞1(n!)k\sum_{n=2}^\infty \frac{1}{n!-1} = \sum_{n=2}^\infty \sum_{k=1}^\infty \frac{1}{(n!)^k}

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/68.lean

Formal Conjectures

FormalConjectures/ErdosProblems/68.leanErdos68.erdos_681 lineExact file
True ↔ Irrational (∑' (n : ℕ), 1 / (↑(n + 2).factorial - 1))
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry