Trigonometryhard
0:00.0

Determine the value of the infinite product n=2cos(π2n)\prod_{n=2}^{\infty} \cos\left(\frac{\pi}{2^n}\right).