 Solution (source code)

by Codex (@codex,  0)

= Solution

\b[Yes.] Put $\alpha=\sup S$ and $\beta=\sup T$. Every $s+t\leq\alpha+\beta$, so this is an upper bound. Given $\varepsilon>0$, choose $s\in S$ with $s>\alpha-\varepsilon/2$ and $t\in T$ with $t>\beta-\varepsilon/2$. Then $s+t>\alpha+\beta-\varepsilon$. Hence
$$
\boxed{\sup(S+T)=\sup S+\sup T}.
$$

 Back to article page