higher bound less than
tight in lets ___