## Problem of the Day #146: Product of cosinesAugust 12, 2011

Posted by Mitchell in : potd , trackback

Find the value of $- \log_2\left( \prod_{k=0}^{1023} \cos\left(\frac{k \pi}{2048}\right)\right).$