Question 84
Show that
$$
\cos(56^\circ) \cdot \cos(2 \cdot 56^\circ) \cdot \dots \cdot \cos(2^{23} \cdot 56^\circ) = \frac{1}{2^{23}}
$$
$$
\cos(56^\circ) \cdot \cos(2 \cdot 56^\circ) \cdot \dots \cdot \cos(2^{23} \cdot 56^\circ) = \frac{1}{2^{23}}
$$