 Solution

True. Write $\alpha =\sup A$ and $\beta =\inf B$. Every $a\in A$, $b\in B$ satisfies $a-b\le \alpha -\beta$, giving an upper bound for the set $A-B$ of pairwise differences. For every $\epsilon >0$, the definitions of supremum and infimum give $a\in A$ and $b\in B$ withThen $a-b>\alpha -\beta -\epsilon$. Hence no smaller upper bound works, andHere $A-B$ means pairwise subtraction, rather than set difference.