数列anについて
a1 = 1 , 0 < θ < πとする
an+1 = an・cos(θ/2^n)
このとき
lim an を求めよ
n→∞

です。お願いします。