higher bound i in
a is ___