Il y a effectivement une erreur dans ton raisonnement. Tu as montré que :
- Un < C(ent(N/2)+ ent(N/3)+ ent(N/6)+3)
- C(N+1) < C(ent(N/2)+ ent(N/3)+ ent(N/6)+3) (tu t'es trompé d'ailleurs tu as marqué "<" à la fin)
Cela ne veut absolument pas dire que C(N+1) < Un, mais juste que tu ne peux pas conclure comme ça

Je ne sais pas quelle est la réponse attendue, mais Il se trouve qu'en fait il est beaucoup plus facile de montrer que, pour presque toutes les valeurs, Un < C*n.
Je ne suis pas raciste, j'ai un ami en PSI*.
2016-2017 : MP1 (TD 224)
2017-2018 : MP*