Similarly, a1 + ... + an is the least upper bound of the elements a1, ..., an.
类似的，a1 + ... + an 是元素 a1, ..., an 的最小上界。