oui ce qu'on a démontré c'est que la limite à gauche est f(a)
mais il faut aussi prouver que la limite à droite est aussi f(a) (voir la fin de mon msg à 9h14)
med1957 @ 16-11-2023 à 10:03f est monotone sur

donc f admet des limites a droites et a gauche en tout point de
c'est l'équivalent du résultat sur les suites : toute suite croissante et majorée (décroissante et minorée) admet une limite
et c'est pour cela que j'ai écrit ainsi
carpediem @ 16-11-2023 à 09:14x

a

f(x)

f(a)
donc en passant à la limite
 \le f(a))
qui est dire la même chose sans citer ce théorème qui n'est pas connu en terminale
une remarque cependant : le rédiger tel que je l'ai fait admet implicitement l'existence d'une limite à gauche (et à droite pour l'autre cas) donc c'est au final connaitre ce résultat.
il faudrait précéder ma rédaction par : "si la limite à gauche existe alors"
l'encadrement trouvé ensuite traduit donc que cette limite existe (puisqu'elle vaut f(a))