Sea un número natural $ n. $ Demuestra que existe un número $ k\in\{ 0,1,2,\ldots n \} $ tal que el piso de $ 2^{n+k}\sqrt 2 $ es par.