Bonjour j'ai besoin d'aide pour cet exercice mrc

Bonsoir,

Initialisation

[tex]2^0=1\geq0+1\\[/tex]

Hérédité:

[tex]2^n\geq n+1\ est\ vraie\\2^{n+1}=2*2^n\geq2(n+1)=2n+2\geq n+2=(n+1)+1\\[/tex]