product cos(pi/n) from 3 to infinity