higher bound less than
tight bound ___