P
Initializing...
Brocard's problem: $n! + 1 = m^2$ exactly for $(n,m) = (4,5), (5,11), (7,71)$ · Prove2Me