higher bound is a
is ___