higher bound for a
a ___