higher bound less tight
constraint on ___