Weierstrass factorization of cosine

Proposition: The Weierstrass factorization of $\cos(x)$ is $$\cos(x) = \displaystyle\prod_{k=1}^{\infty} \left( 1 - \dfrac{4x^2}{\pi^2 (2k-1)^2} \right).$$

Proof: █