higher bound i is
a in ___