higher bound for a
___