higher bound for the
integer i at ___