higher bound for sum
less bound less less less ___