P
Initializing...
Berndt–Galway: no new solutions of $n!+1=m^2$ with $n < 10^9$ · Prove2Me