Elle ne converge assurément pas. On suppose que oui par l'absurde et on note l sa limite.
On a : cos(2n) * 2cos²(n) - 1. Par passage à la limite, on a donc l = 1 ou l = -1/2.
On peut exclure l = -1/2 en utilisant cos(3n). Donc l = 1. Mais |sin(n)| = V(1 - cos²(n)) => lim sin = 0 et cos(n+1) = cos(n)cos(1) - sin(n)sin(1) => cos(1) = 1 par passage à la limite.
Absurde.