higher bound for i
is bound in ___