Question about a product with connections to geometry

36 Views Asked by At

Does anyone know how to compute the following product?$$\prod_{n=3}^{\infty}cos\big(\frac{\pi}{n}\big)$$