higher bound a in
constant a ___