Erdős problem 373 · problems.science

Show that the equation n!=a_1!a_2!···a_k!, with n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k, has only finitely many solutions.

Sources

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

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

373.lean

Retained formal statement1 of 5

Show that the equation n!=a_1!a_2!···a_k!, with n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k, has only finitely many solutions.

FormalConjectures/ErdosProblems/373.leanErdos373.erdos_3731 lineExact file

1Erdos373.S.Finite

OpenStatement only, no proof