higher bound us a
in ___