higher bound for a
is a ___