Цикл начинается с переменной i равной 0, и дальше идет условие i<5, что означает, что в первой итерации цикла переменная i всегда будет равна 0 перед выполнением любого кода в теле цикла. Поэтому при первой итерации происходит вывод числа 0, а затем i увеличивается на 1 и затем выполняются оставшиеся итерации цикла вывода чисел от 1 до 4.