nox a écrit:C'est mal rédigé mais je pense que l'idée est bonne.
Oui !
Il me semble que

ne peut pas être décroissante à partir d'un certain rang. En effet, supposons qu'elle le soit à partir de

c'est-à-dire que

.
Soit alors N l'entier immédiatement supérieur à

.


Ceci est une contradiction.
Donc

ne peut pas être décroissante à partir d'un certain rang.
Cependant, rien ne prouve que

soit croissante à partir d'un certain rang.
Là, il suffit de trouver un contre exemple : ajoutons une petite irrégularité...
Je propose, par exemple une définition en deux temps :
Pour n pair (n=2p) on définira :

(soit
^2})
pour n pair)
et pour n impair (n=2p+1)

(soit

pour n impair)
Vérifions que la suite respecte bien la condition énoncée, à savoir que

. Mais voyons les différences

:
(p+1)^2})
D est donc négatif ici.
Par conséquent on a systématiquement

mais aussi
Cela n'empêche nullement

de tendre vers 1 ! Mais elle n'est pas croissante !