higher bound for sum
less bound on ___