Corrigé de devoir non surveillé - Booleanopera

Une suite implicite est une suite (un) de réels dont on a prouvé l'existence mais dont on ne connait pas la valeur. On dit alors qu'ils sont définis ...