infinite product of cos(pi/(n+3))