Algorithmique Correction du DS1 - CRIL

Exercice no 2. Pour n ? N, posons P(n) : ?2 n+1 ? ?n+2?n = (?1)n, démontrons que P(n) est vraie pour tout n ? N, par récurrence.