higher bound for sum
less over ___