higher bound for sum
as ___