Raisonnement par récurrence

Le raisonnement par récurrence concerne une propriété p qui dépend d'un entier
naturel n. 0n peut donc parler d'une suite de propriétés et la noter (pn).

Part of the document