higher bound for sum
at or ___