higher bound for a
is ___