Erdős problem 398 · problems.science

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

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/398.lean

Formal Conjectures

FormalConjectures/ErdosProblems/398.leanErdos398.erdos_3981 lineExact file

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

OpenStatement only, no proof