max(1) <= i
