<div class="exercice">
<span class="exercice"> Exercice : </span> Dans les cas suivants, 
l'assertion  \calP\((n)) est-elle hrditaire pour tout entier \(n) ? 
 \calP(1) est-elle vrai ? \calP(2) ? est-elle vraie pour tout entier \(n) ?
\calP(876) est-il vrai ?
<ol>
<li> \calP\((n))   :  \(n+1 < n)
</li><li> \calP\((n)) :  \(n^3) \leq \(n^2)
</li><li> \calP\((n))  :  \(10^n - (-1)^n) est divisible par 11
</li><li> \calP\((n)) :   \(2^n) \geq \(n^2)
   </li></ol>
</div>


<div class="exercice">
<span class="exercice"> Exercice : </span> 
   Montrer l'ingalit : \( 2^n) \geq \(n^2).
Que pensez-vous de l'nonc ? Prcisez-le et proposez un
nonc correct. Dmontrez-le.  </div>
\comment{

<div class="exercice">
<span class="exercice"> Exercice : </span>  avec WIMS sur les tapes de la 
  \exercise{}{rcurrence}, non fini
 </div>
}