Overholt: the abc conjecture implies $n!+1=m^2$ has finitely many solutions · Prove2Me

P

Initializing...

Overholt: the abc conjecture implies $n!+1=m^2$ has finitely many solutions · Prove2Me