s ist das Supremum, insbesondere existiert für alle \( n \in \mathbb N \) ein \( x_n \in M \) mit \( s - x_n < \frac 1 n \). So kannst du dir eine gegen s konvergente Folge konstruieren.
Falls dir das nicht klar sein sollte: Angenommen die Aussage ist falsch, dann existiert ein \( n \in \mathbb N \) s.d. $$ \forall x \in M ~:~ s - x \ge \frac 1 n \implies \forall x \in M ~:~ s - \frac 1 n \ge x $$ den Widerspruch solltest du jetzt selbst sehen.