MathNet 2017-part-02 — 176 problems (EN–VI) Question 114

Show that $n! = 1 \times 2 \times \cdots \times n$ is divisible by $2^{n-1}$ if and only if $n$ is a power of $2$.