product of cos(π/n) from n = 3 to infinity