4 Encuentra todos los pares $(k,n)$ de enteros positivos tales que \[ k!=(2^n-1)(2^n-2)(2^n-4)\cdots(2^n-2^{n-1}). \] Propuesto por Gabriel Chicas Reyes, El Salvador