Как проверить упорядочен массив или нет? - Pascal ABC

Формулировка задачи:

Что то через цикл for начал делать у меня не получилось

 for i:= 1 to n do
 begin
  if a[i]<=a[i+1] then...

Не знаю что после условия писать.

Решение задачи: «Как проверить упорядочен массив или нет?»

Листинг программы

Program P15;
 
Var A : Array[1..5] of integer;
Var C_Gt,C_Lt,C_Eq : integer;
Var i,n            : integer;
 
Begin
 
    n:=5;
    
    A[1]:=5;
    A[2]:=4;
    A[3]:=4;
    A[4]:=3;
    A[5]:=3;
 
    C_Gt:=0;
    C_Lt:=0;
    C_Eq:=0;
 
    for i:=1 to n-1 do Begin
        If A[i]=A[i+1] Then inc(c_Eq);
        If A[i]<=A[i+1] Then inc(c_Gt);
        If A[i]>=A[i+1] Then inc(c_Lt);
    End;
 
    If c_Eq=(n-1) Then
       writeln('Все элементы одинаковы')
    else
       if C_Gt=(n-1) Then
          writeln('Упорядочен по возрастанию')
       else
          if C_Lt=(n-1) Then
             writeln('Упорядчен по убыванию')
          else
             writeln('Никак не упорядочен');
             
End.

Объяснение кода листинга программы

В данном коде объявлены три переменные: A, C_Gt, C_Lt и одна переменная i. Переменная A представляет собой массив из пяти элементов целого типа. Первые пять строк кода присваивают элементам массива значения от 3 до 5. Затем идут три цикла for, которые проверяют, являются ли элементы массива упорядоченными. Если элементы равны, то увеличивается значение переменной C_Eq. Если элемент меньше следующего, то увеличивается значение C_Gt. Если элемент больше следующего, то увеличивается значение C_Lt. После завершения циклов проверяется значение переменной C_Eq. Если оно равно (n-1), то выводится сообщение Все элементы одинаковы. Если значение C_Gt равно (n-1), то выводится сообщение Упорядочен по возрастанию. Если значение C_Lt равно (n-1), то выводится сообщение Упорядочен по убыванию. Если ни одно из этих условий не выполняется, то выводится сообщение Никак не упорядочен. Таким образом, данный код проверяет, является ли массив упорядоченным или нет.