higher bound is a
in ___