I am having trouble studying the following sequence $(x_k)_{k \geq 2}$ :
$$x_2= 2, \quad x_{k+1}= \frac{x_k}{\cos{(\pi 2^{-k})}}$$
I want to show that this sequences converges to $\pi$, but I have honestly no idea where to start.
Thanks for your help.