MathNet 2021 — Part 04 Question 68

Let $f(n) = \prod_{k=1}^{n} \left(1 + 4 \cos^2\left(\frac{k\pi}{2n+1}\right)\right)$. Prove that $f(n)$ is an integer for all positive integers $n$.