higher bound for a
in ___