slt a tout le monde
soit Yn=max(an,an+1) et l=limYn
dnc E N£ IN, n>_ N ==>IYn-lI<_ & avec &>0 (Yn) decroit
si Yn=an n> N alors IYn-lI<_&
sinon Yn=an+1>an ===> an+2<an==>Yn-1=an-1
et an<an+1<_1/2(an-1+an)==>an<an-1===>Yn-1=an-1
alors Yn>an>_2an+1-an-1=2Yn+1-Yn-1>_2(l-&)-(l+&)
puis conclus