[math-fun] Product formula puzzle

Let N = 2K+1 for some positive integer K. Evaluate explicitly f(N) := Product (5 - 2*cos(2*j*pi/N)) over 1 <= j <= K, and prove your answer. --Dan _____________________________________________________________________ "It don't mean a thing if it ain't got that certain je ne sais quoi." --Peter Schickele