higher bound for sum
at most upper ___