product from n=2 to infinity of (cos(pi/(2n))/cos(pi/(2n-1)))