higher bound a in
constant less ___