K0=[−ln(2−x)]01=−ln1+ln2=ln2.
2−x2xn−xn=2−x2xn−2xn+xn+1=2−xxn+1 ✓. On intègre : Kn+1=2Kn−∫01xndx=2Kn−n+11.
K1=2K0−1=2ln2−1≈0,386 ; K2=2K1−21=4ln2−25≈0,273.
Pour x∈[0;1] : 1≤2−x≤2 donc 21≤2−x1≤1, puis 2xn≤2−xxn≤xn ; on intègre.
Gendarmes : Kn→0. Kn+1−Kn=∫012−xxn(x−1)dx≤0 car xn≥0, x−1≤0, 2−x>0 : (Kn) est décroissante.