I have been recently trying to solve a continued product of cosines:
If $x=2\pi/2009$, then evaluate $$\cos x \cos 2x \cos 3x \cdots \cos 1004x$$
I have found formula for this which says product of this series is $\pm(1/2^n)$.
I'm recently in 11th, so please try to give this proof according to my knowledge