Сначала s полагается равным количеству элементов массива минус единица (в массиве n+1 элемент с индексами от 0 до n), а z полагается равным значению первого по порядку элемента массива.
Далее в цикле от 1 до n (т.е. перебирая элементы массива от второго до последнего) производится проверка равенства значений очередного элемента и z. Если равенство выполняется, s уменьшается на единицу.
Следовательно, после завершения цикла в s останется количество элементов, значение которых не совпадает с z (которое, как мы увидели в начале, равно значению первого элемента).
Ответ номер 3.