Потому что каунт будет прибавлять единицу пока х меньше длины массива. И при этом при каждой итерации х = элементу, который по счету находится в элементе равному х. Длина массива 4. При первой итерации х = 0. И х становится равен arr[0],то есть 1. Каунт делает +1, становится =1. Дальше, х прибавляет 1 = 2. arr[2] это 4, х становится 4, каунт прибавляет еще 1 становится 2. А дальше х уже не проходит проверку цикла, поскольку равен 4, и длина массива 4. Цикл завершён, каунт равен 2. Вроде ниче не напутал
Спасибо!