Cours Raisonnement par récurrence
Exercice d'application

Montrer par récurrence que pour tout $n ≥ 0$, $\dfrac{4^n-1}{3}$ est un entier.