higher bound is is
of i at ___