True. Write and . Every , satisfies , giving an upper bound for the set of pairwise differences. For every , the definitions of supremum and infimum give and withThen . Hence no smaller upper bound works, andHere means pairwise subtraction, rather than set difference.
Articles by others on the same topic
There are currently no matching articles.