The integral is the following : $$\int_{-\infty}^\infty \prod_{k=1}^\infty \cos\bigg(\frac{x}{2^k}\bigg)dx$$
I need first to evaluate this product, but how ?
My attempts :
Using : $$\sin(2x)=2\sin(x)\cos(x) \Leftrightarrow \cos(x)=\frac{\sin(2x)}{2\sin(x)}$$ So basically this can help us : $$\prod_{k=1}^\infty \frac{\sin\big(\frac{x}{2^k}\big)}{2\sin\big(\frac{x}{2^k}\big)} =\frac{\sin x}{2\sin(x/2)}\frac{\sin (x/2)}{2\sin(x/4)}\color{red}{\dots}$$ It's important to eveluate this product but I couldn't any hints ? I'll be thankfull !
Note
$$\frac{\sin x}x =\frac{\sin \frac x2 }{\frac x2}\cos\frac x2 = \frac{\sin \frac x{2^2}}{ \frac x{2^2}} \cos\frac x{2^2}\cos\frac x2 \\ = \lim_{n\to \infty}\left(\frac{\sin \frac x{2^n}}{\frac x{2^n}}\right)\cos\frac{x}{2^n}...\cos\frac x{2^2}\cos\frac x2 = \prod_{k=1}^\infty \cos\frac{x}{2^k} $$ where $ \lim_{t\to 0}\frac{\sin t}{t} =1$ is used. Thus, $$\int_{-\infty}^\infty \prod_{k=1}^\infty \cos\frac{x}{2^k}dx= \int_{-\infty}^\infty \frac{\sin x}x dx = \pi $$