Find $\lim_{n\to\infty} \cos(\frac{\pi}{4}) \cos(\frac{\pi}{8})\ldots \cos(\frac{\pi}{2^n}) $

If $x_n=\cos(\frac{\pi}{4}) \cos(\frac{\pi}{8})\ldots \cos(\frac{\pi}{2^n}) $ then $\ $ $$x_n\sin (\frac{\pi}{2^n})= \cos(\frac{\pi}{4}) \cos(\frac{\pi}{8}) \ldots \cos(\frac{\pi}{2^n}) \sin (\frac{\pi}{2^n}) $$ $$=\frac{1}{2^1} \cos(\frac{\pi}{4}) \cos(\frac{\pi}{8}) \ldots \cos(\frac{\pi}{2^{n-1}}) \sin (\frac{\pi}{2^{n-1}}) $$ $$ =\ldots= \frac{1}{2^{n-1}} $$ So $$x_n=\frac{1}{2^{n-1}\sin (\frac{\pi}{2^n})} $$ So $\lim_{n\to \infty }x_n=\frac{2}{\pi} $


$$\sin(x)=2\sin(\frac{x}{2})\cos(\frac{x}{2})=2\cos(\frac{x}{2})2\sin(\frac{x}{4})\cos(\frac{x}{4})$$ By repeated application of the half angle formula we find $$\sin(x)=\lim_{n\to\infty}2^n\sin(\frac{x}{2^n})\prod_{k=1}^{n}\cos(\frac{x}{2^{k}})$$ By expanding $\sin(\frac{x}{2^n})$ into its taylor series we can easily derive

$$ \sin(x)=x\prod_{k=1}^{\infty} \cos(\frac{x}{2^k})$$

So $$\prod_{k=2}^{\infty}\cos(\frac{\pi}{2^k})=\lim_{x\to\pi}\frac{\sin(x)}{x\cos(\frac{x}{2})}=\lim_{x\to\pi}\frac{2\sin(\frac{x}{2})}{x}=\frac{2}{\pi}$$

See also Viete's formula


What you are trying to proof is Viete's formula. What he did was trying to compare area's of regular polygons that are inscribed in a unit circle. The area of a regular polygon with $n$ sides is given by

$$ A_n = \frac12 n \sin\left(\frac\pi n\right)$$

If you compute now the ratio between two regular polygons, one with $2^n$ sides, and one with $2^{n-1}$ sides, then you get:

$$B_n=\frac{A_{2^{n-1}}}{A_{2^n}} = \frac{2^{n-1} \sin\left(\frac{\pi}{2^{n-1}}\right)}{2^{n} \sin\left(\frac{\pi}{2^{n}}\right)} = \cos\left(\frac{\pi}{2^{n}}\right)$$

This now implies that the product the OP tries to compute is equal to

$$C_n=B_3 B_4 ... B_n = \frac{A_4}{A_8}\cdot\frac{A_8}{A_{16}}\cdot\cdots\cdot\frac{A_{2^{n-1}}}{A_{2^n}}=\frac{A_4}{A_{2^n}}$$

Sine a regular polygon with an infinite amount of sides is equivalent to a circle, you have $$\lim_{n\rightarrow\infty}A_n=\pi$$. In essence, the complete product is nothing more than comparing the size of a circle with respect to its inscribed square. Hence,

$$\prod_{n=2}^\infty\cos\left(\frac{\pi}{2^n}\right)=\lim_{n\rightarrow\infty}C_n=\frac 2 \pi$$