higher bound less than
tight ___