higher bound on a
in ___