higher bound a in
rush bound by ___