higher bound for sum
at an ___