The value of
\[
\frac{\pi}{2} \lim_{n \to \infty} \cos\!\left(\frac{\pi}{4}\right)
\cos\!\left(\frac{\pi}{8}\right)
\cos\!\left(\frac{\pi}{16}\right) \cdots
\cos\!\left(\frac{\pi}{2^{n+1}}\right)
\]
is _________.
Show Hint
Use the trigonometric product formula
\(\sin x = x \prod_{k=1}^{\infty} \cos(x / 2^k)\)
for problems involving infinite cosine products.