Prouvons par récurrence que pour tout entier nEN : "u(n)=...." - Initialisation: pour n=O ...... La propriété est donc vraie au rang 0 et elle est donc initialisée. - Héréfité : Soit k un entier. Supposons que la propriété soit vraie au rang k, c'est-à-dire : 'u(k)=........' La propriété est-elle toujours vraie au rang k+1 ? ...... donc la propriété est vraie au rang k+1 et est héréditaire. - Conclusion: La proposition est vraie au rang n=... et héréditaire, donc d'après le principe de récurrence, "u(n)=..." pour tout nEN.