bonsoir ,
l'ennoncé evoque un consinus , d'ou est ce qu'il peut bien sortir ?,
l'idée est d'exploiter la relation trigonometrique cos(2x)=2cos²x-1
on posant Wn=Un/Vn
une reccurence imediate montre que 0<Wn<1
et on exploitant la relation trigonometrique on deduit que pour tout n Un=cos(e/2^n).Vn , ce qui reste est un jeux d'enfant , (croissante borné......)