i изначально = 0, дальше вы запускаете цикл с условием i < 3 , дальше выводится ваша переменная и увеличивается она же.
Теперь переменная = 1 и цикл снова вызывается для проверки условия, если проходит, то - выполнится, иначе - нет. Тут не будет бесконечного прогона, так как условие рано или поздно не выполнится
