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