RU-ALLRUSSIAN 1968 Problem 9
Prove that any positive integer not exceeding n! can be written as a sum of at most n distinct factors of n!.
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.