Trigonometryhard
0:00.0

Evaluate limnk=2ncos(π2k)\lim_{n \to \infty} \prod_{k=2}^{n} \cos(\frac{\pi}{2^k}).