Skip to content

Erdős problem 399

Start work

Is it true that there are no solutions to n! = x^k ± y^k with x,y,n ∈ ℕ, x*y > 1, and k > 2?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/399.lean

Formal Conjectures

FormalConjectures/ErdosProblems/399.leanErdos399.erdos_3991 lineExact file
False ↔ ¬∃ n x y k, 1 < x * y ∧ 2 < k ∧ (n.factorial = x ^ k + y ^ k ∨ n.factorial + y ^ k = x ^ k)
SolvedProved, no gapslean4external proof

Proof manifests naming this Problem

  • Jayyhk Erdős Leanjayyhk:erdos:399
  • PLBY Lean proofsErdosProblems.Erdos399

Reported activity

Reported by these sources. Not reviewed here.

Continue

Start a contributionBrowse the source filesOpen the collection entry