higher bound a in
bound ___