Question 87Let $n$ be a positive integer. Show that $2\sqrt{2^n} \cos\left(n \arccos \frac{\sqrt{2}}{4}\right)$ is an odd integer number.