higher bound a in
bound i ___