Dans cet exercice le professeur va nous démontrer la récurrence double. Soit la suite (Fո) définie par F₀=1 et F₁=1 et par la relation de récurrence Fn+1=Fn+Fn-1. Nous allons prouver que tout entiers naturels non nul n , Fn ˂(7/4)ᴺ. Soit P(n) la propriété que pour tout entier naturel N non nul, Fn ˂ (7/4)ᴺ