trigoniometrische rij

Zij $a_n=2\cos(t/2^n)-1$. Vereenvoudig $a_1a_2\ldots a_n$ en leid af dat het naar $(2\cos t+1)/3$ convergeert.