RO-NMO 2011 Problem 94

Let be a natural number $n.$ Prove that there exists a number $k\in\{ 0,1,2,\ldots n \}$ such that the floor of $2^{n+k}\sqrt 2$ is even.

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.