# Coding challenge

Write some code to prove that $\prod_{n=2}^{\infty}(1-\frac{1}{n^2})=\frac{1}{2}$. (From Andreescu, p. 39.)