Erdős problem 398 · problems.science

Brocard's Problem Does $n! + 1 = m^2$ have integer solutions other than $n = 4, 5, 7$ ?

Sources

Browse retained paths and inspect the exact material available for this Problem.

1 retained statement2415f78e850a

FormalConjectures/ErdosProblems/

398.lean

Retained formal statement1 of 1

Brocard's Problem Does $n! + 1 = m^2$ have integer solutions other than $n = 4, 5, 7$ ?

FormalConjectures/ErdosProblems/398.leanErdos398.erdos_3981 lineExact file

1sorry ↔ {n | ∃ m, n.factorial + 1 = m ^ 2} = {4, 5, 7}

OpenStatement only, no proof