Skip to content

Erdős problem 68

∑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}

Sources

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

2 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

68.lean

Retained formal statement1 of 2

Is ∑n=2∞1n!−1\sum_{n=2}^\infty \frac{1}{n!-1} irrational?

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

Search problems.science

Find a Problem, Result, source, or page