higher bound a in
rush bound in ___