higher bound for sum
set union upper ___