higher bound on a
___