higher bound for the
stack less bound stack less for i
___