Pruebe que $2^{n - 1}$ divide a $n!$ si y solo si $n = 2^{k - 1}$ para algún entero positivo $k$.