text: # Limit of cosines product
  
  Let $\displaystyle P_n:=\prod_{k=1}^n \cos\frac{\pi}{k+2}$. Evaluate $\displaystyle\lim_{n\to \infty} P_n$.
  
  I've only shown that the limit is positive.
  
  Let $\vartheta_k:=\pi/(k+2)$. We have $\log P_n=\sum_{k=1}^n \log\cos\vartheta_k$. Now, $$\log\cos\vartheta_k=-\frac{1}{2}\log(1+\tan^2\vartheta_k)>-\frac{1}{2}\tan^2\vartheta_k=-\frac{1}{2}\frac{\sin^2\vartheta_k}{\cos^2\vartheta_k}>-2\vartheta_k^2.$$ Therefore we can write that $$\log P_n>-2\pi^2\sum_{k=1}^n \frac{1}{(k+2)^2}>-2\pi^2\int_2^{\infty}\frac{dx}{x^2}=-\pi^2$$ i.e. $P_n>e^{-\pi^2}$.
  
  -
  Your second inequality is not right. I think you need to sum $1/(k+2)^2$. – Ron Gordon Jul 28 '13 at 15:12
  Typo, you're right. – user72870 Jul 28 '13 at 15:13
  What is the source of this problem? Do you know if a "closed form" exists? – Aryabhata Jul 28 '13 at 15:56
  A friend of mine gave me the problem... – user72870 Jul 28 '13 at 16:00
  possibly useful fact: $\int \tan(x) dx = -\log(\cos(x))+C$ – Omnomnomnom Jul 28 '13 at 16:39
  
  We may use the product for $\sin x$ and $\cos x$ to conclude that \begin{align} \prod_{n = 1}^\infty \cos\frac{x}{n} &= \prod_{n = 1}^\infty \prod_{k = 0}^\infty \left( 1 - \frac{4x^2}{(2k + 1)^2 n^2 \pi^2} \right)\\ &= \prod_{k = 0}^\infty \prod_{n = 1}^\infty \left( 1-\frac{4x^2}{(2k + 1)^2 n^2 \pi^2} \right)\\ &= \prod_{k = 0}^\infty \frac{\sin\frac{2x}{2k + 1}}{\frac{2x}{2k + 1}} \end{align} which could be used to approximate your product.