higher bound for the

stack less than zero bound stack

bound zero upper✕