if a[i]>q - если проверяемый элемент больше значения q (в котором на начало программы содержится значение первого элемента, т.е. 4), то q:=a[I]; - переменной q присваивается значение этого элемента и k:=i - переменной k присваивается порядковый номер проверяемого элемента, если он соответствует условию