Majorant suites d'elements

[Purrace]

Bonjour,

J'ai K une partie non vide de R majoree , on le demontre avant par b qui est en fait la limite de 2 suites adjacentes , mais ca a aucune importance pour cette question , je dois en fait demontrer qu'il existe une suite d'element de K qui converge vers b.

Moi pour moi c'est evident puisque K est inclus dans R qui est dense , or on sait que tout relle est limite d'une suite d'elements rationnelle ou irrationnelle , on pourrait donc definir une suite de rationnelle de K qui converge vers b.Avec b majorant de K.

Voulais juste savoir si c'est la bonne maniere de proceder ou bien y'a t'il d'autre moyen.

[Purrace]

En fait je me suis presse je pense quil faut aussi que je demontre b appartiennent a k ou soit le sup.