Bonjour, l'énoncé d'un exo est le suivant
soit A = { /}
1) montrer que A admet un minimum que l'on déterminera ( pour cela, j'ai démontré par récurrence que puis j'ai considéré un autre minorant et j'ai démontré qu'il était inférieur ou égal à 1)
2) montrer que ( facile propriété de la partie entière)
3) En déduire que A admet une borne supérieure que l'on déterminera.
C'est là où je bloque : j'ai démontré que la borne sup existe et que est un majorant de A, j'ai voulu démontrer la deuxième proposition de la caractérisation de la borne sup pr , mais je n'y arrive pas.
Pouvez vous me donner un indice ...
-----