a[1]=cos(t/2)
a[n]=a[n-1]cos(t/2^n) (n>=2)
のときにlim[n->∞]a[n]を求めよ、ただし、0<t<π/2
お願いします。