Borne sup

D'une part, la phrase que tu écris et qui commence par « $\forall \epsilon$ » n'est que la moitié de la caractérisation, il faut aussi (d'abord ?) montrer que $3$ est un majorant.

D'autre part, si $\epsilon>0$ t'est donné, tu ne vois pas un élément de $X$ qui est strictement plus grand que $3-\epsilon$ ? Pourrais-tu placer $3-\epsilon$ sur le dessin ci-dessous (en supposant que $\epsilon$ est « petit »), où j'ai obligeamment dessiné $X$ ?

Math Coss, je pense qu’il n’a pas de doute sur l’autre moitié(sinon, ce serait inquiétant...) et que c’était cette moitié qui lui posait problème.