premièrement mounia la récurrence est fausse, car on suppose que a_n >=-1/2 donc on a an + 1>=1/2 donc /a_(n+1)/>=1/2
ce qui donne a_(n+1)>=1/2 ou a_(n+1)=<-1/2.
en t cas moi je pense que cet exo est faux. remarquez que /a1/=1 donc a1=1 ou a1=-1, dns le deuxième cas l'inégalité n'est pas vérifiée pour 1!!!!