в результате выполнения первого цикла
for i: =1 tо n do a[i] : = i
в массиве будут находится числа от 1 до 10 по возрастанию
j: =1
затем 9 раз сравнивается предыдущий элемент с последующим и если последующий больше предыдущего то j увеличивается на 1
так как в массиве каждый последующий элемент больше предыдущего то j увеличится на 9
значит j станет равно 10