higher bound less than
tight in ___