Erdős problem 399 · problems.science

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

Sources

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

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

399.lean

Retained formal statement4 of 5

Pollack and Shapiro [PoSh73] proved there are no solutions to $n!=x^4-1$ .

FormalConjectures/ErdosProblems/399.leanErdos399.erdos_399.variants.pollack_shapiro1 lineExact file

1∀ (n x : ℕ), n.factorial + 1 ≠ x ^ 4

SolvedStatement only, no proof