\prod_{i=1}^{17}\cos\frac{i\pi}{17}