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

<ol> <li>
On  vrifie
que \calP\((n_0)) pour un entier  \(n_0) <i>petit</i>. 

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

 
 <span class="defn"> L'assertion \calP(n) est dite hrditaire
  </span> pour \( n) \geq \(n_0).
   <li>On conclut alors que l'assertion \calP\((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>}