CMO 1985 Problem 4

Prove that $2^{n - 1}$ divides $n!$ if and only if $n = 2^{k - 1}$ for some positive integer $k$ .

Dataset text AI-MO AoPS. 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.