Prove that if [imath]A \subseteq B \subseteq \mathbb{R}[/imath] then [imath]\sup A \le \sup B[/imath]

[MaxMath]

Thank you for the ideas exchange! The formal proof of the lemma is by contradiction.

That then makes your proof solid IMO!