higher bound for sum
at least upper ___