Skip to content

Erdős problem 373

Start work

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

The source's own material, retained exactly.

5 retained statements36c6d0fef71a

Open selected source

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
Erdos373.S.Finite
OpenStatement only, no proof