higher bound i is
in ___