higher bound on the
sum at or ___