Dado un entero $q \geq 0$, tenemos que por Legendre $v_2((2^q)!)=\dfrac{2^q}{2}+\dfrac{2^q}{4}+\cdots+\dfrac{2^q}{2^q}=2^{q-1}+2^{q-2}+\cdots+1=2^q-1$.
Primero calculemos la cantidad de factores $2$ del lado derecho de la ecuación. Para eso, reescribamoslo como $\dfrac{(2^{n}-1)!}{(2^{n-1}-1)!}$.
La cantidad de factores $2$ del numerador es la misma que la de $(2^n)!$ pero restándole los $n$ factores $2$ que aporta $2^n$ al factorial. Es decir, $$v_2((2^n-1)!)=v_2((2^n)!)-n=2^n-1-n$$ Razonando de la misma forma con el denominador obtenemos $$v_2((2^{n-1}-1)!)=v_2((2^{n-1})!)-(n-1)=2^{n-1}-1-(n-1)=2^{n-1}-n$$ y finalmente, la cantidad de factores $2$ de la fracción incial es la resta entre los dos números recién calculados, o sea $$v_2\left(\dfrac{(2^{n}-1)!}{(2^{n-1}-1)!}\right)=2^n-1-n-(2^{n-1}-n)=2^{n-1}-1$$ Como esa fracción es igual a $k!$ concluímos que $v_2(k!)=2^{n-1}-1=v_2((2^{n-1})!)$ y como el valor $v_2(k!)$ crece con $k$ (de hecho, mientras $k$ aumenta, crece estrictamente cada vez que pasamos por un $k$ par), esto nos dice que o bien $k=2^{n-1}$ o bien $k=2^{n-1}+1$. El problema está casi terminado, veamos los dos casos:
$$(2^{n-1})!=\dfrac{(2^{n}-1)!}{(2^{n-1}-1)!} \iff 1=\dfrac{(2^{n}-1)!}{(2^{n-1}-1)!(2^{n-1})!} = \binom{2^n-1}{2^{n-1}-1}$$ y esto sólo ocurre cuando $2^{n-1}-1=2^n-1$ (que no es posible) o cuando $2^{n-1}-1=0$, que nos dice $2^{n-1}=1$ y por lo tanto $n=1$. Este caso nos devuelve como solución el par $(k,n)=(1,1)$.
$$(2^{n-1}+1)!=\dfrac{(2^{n}-1)!}{(2^{n-1}-1)!} \iff 2^n=\dfrac{(2^{n})!}{(2^{n-1}-1)!(2^{n-1}+1)!} = \binom{2^n}{2^{n-1}-1}$$ y esto sólo ocurre cuando $2^{n-1}-1=2^n-1$ (que no es posible) o cuando $2^{n-1}-1=1$, que nos dice $2^{n-1}=2$ y por lo tanto $n=2$. Este caso nos devuelve como solución el par $(k, n)=(3,2)$.
Las soluciones al problema son entonces $(k,n)=(1,1)$ y $(k, n)=(3,2)$. ■
).