On  a une assertion \(P(n) pour tout entier \(n). Il faut d'abord bien l'noncer. 

<ol> <li>
On  vrifie
que \(P( n_0)) pour un entier  \(n_0) "petit". 

  <span class="defn">Initialisation </span>
   en  n\geq n<sub>0</sub>.
  </li>
 <li> On montre que
l'assertion \(P(n)) implique \(P(n)) est vraie pour
 n\geq n<sub>0</sub>.  

 
 <span class="defn"> L'assertion P(n) est dite hrditaire
  </span> pour n\geq n<sub>0</sub>.
   <li>On conclut alors que l'assertion P( n) est vraie pour
tout entier \( n\geq n_0).

 
 <span class="defn">Conclusion
 .</span>

</li>
</ol>



 Soyez particulirement attentifs  la rdaction d'un tel raisonnement. 

\link{recurrence}{<span class="exemple">Exemple</span>}