Soit I={n €IN /U_n>=U_(2n+1)}
Si I est fini, il existe N tq pour tout n>N , U_n <U_(2n+1)
==> 3U_n=< V_n =<3U_(2n+1) pour tout n>N
==> V_n =<3U_(2n+1)=<V_(2n+1) pour tout n>N
==> 3lim U_(2n+1)=lim V_n
==> lim U_n=lim V_n-2lim U_(2n+1)=lim V_n/3
Si I est infini ==> I=(f(n))_n avec f : IN ---> IN strict. croissante.
je dois partir à suivre ....