oui avec l'absurde , on a (vn) est bornée on a l=0.
alors , on suppose que (vn) a une valeur d'adhérence non nulle , f IN-->IN strictement croissante or vf(n) > a/2 dés que n>N0 avec vf(n) >a/2 puis comme vous avez fait
(contradiction avec (Un) est bornne)