higher bound for sum
a float bound at ___