higher bound for sum
ma hat an ___