déjà il y'a un gros problème puique ce que tu as écrits implique
que H2^n+1 > 1+ ((n+1)/2)
quand on utilise une récurrence on a une propriété qu'on veut démontrer.
En l'occrurence tu veux démontrer que pour tout n
2^n > 1 + (n/2)
ça tu ne l'as pas au début.
par contre éffectivement tu commences par vérifier si pour n =0 la propriété est vérifié
Initialisation: Soit Pn : 2^n > 1 + (n/2)
2^0 =1 et 1+ 0/2 =1
donc la propriété pn est vraie pour n=0
donc pour un entier n on a
2^n > 1 + (n/2)
Hérédité:
Supposons pn vraie pour un entier
maintenant on veut vérifier si pour le terme suivant c'est bon
donc tu as 2^n*2= 2^(n+1) > (1 + (n/2))*2 or 2n/2 +2 -1 -(n+1)/2= (n-1)/2 +1 est un nombre strictement positif puisque n est positif et que le minimum est pour n=0 soit 3/2.
d'où : 1+(n+1)/2< (1+n/2)*2
donc 2^(n+1) > (1+n/2)*2 > 1+(n+1)/2
donc cela implique que : 2^(n+1) > 1+(n+1)/2
donc pn+1 est vraie: par conséquent pour bien que tu comprennes: comme on a p0 vraie alors p1 est vraie (car pn+1 est vraie) donc p2 est vraie....
donc pour tout n tu as
2^n > 1 + (n/2)
voilà.
