higher bound less than
upper bar ___