higher bound on the
sum at ___