Ben c´est le principe de la récurrence :
Initialisation et hérédité : tu vérifies que ça marche au rang 1, puis tu supposes que c´est vrai au rang n et tu démontres qu´alors c´est vrai au rang n+1
J´ai supposé que U(n) > 1 (vrai au rang n) puis j´ai montré qu´alors U(n+1) > 1 (vrai au rang n+1)