\prod_{n=3}^{\infty}\cos{\pi\over n}