if m<a[i] then m:=a[i];
Объяснение:
Если переменная m, предназначенная для хранения значения максимального элемента, меньше значения какого-то элемента, то есть какой-то элемент больше, то переменная m перезаписывается на новое значение - на тот больший элемент.