Вообще, Илья, давно пора завязывать с этой ахинеей (базовые паттерны циклов, обожествление линейного поиска) и научиться уже писать циклы.
Инвариант там простой – в просмотренной части нет подходящего свободного куска.