MathDB
trig product

Source: flanders '93

September 27, 2005
trigonometrylimit

Problem Statement

Define the sequence oanoa_n as follows: oa0=1,oan=oan1cos(π2n+1)oa_0=1, oa_n= oa_{n-1} \cdot cos\left( \dfrac{\pi}{2^{n+1}} \right). Find limn+oan\lim\limits_{n\rightarrow+\infty} oa_n.