Переменной k логического типа присвоить значение true в том случае, если массив n целых чисел упорядочен по возрастанию, i значение false если нет

#include "iostream"
 
using namespace std; 
 
//Змiннiй k логiчного типу присвоїти значення true в тому  випадку,
//якщо масив n цiлих чисел впорядкований по зростанню,
//i  значення false в iншому випадку.
void main ()
{
    setlocale (LC_ALL,"Ukrainian");
    bool k = true;
    int n;
    cout << "Введiть розмiр масиву\n";
    cin >> n;
    int *ar;
    ar = new int[n];
    //////////////////
    cout << "Заповнiть масив\n";
    for (int i = 0; i < n; i++)
    {
        cout << i << " елемент: ";
        cin >> ar[i];
        cout << "\n";
    }
    /////////////////
    for (int i = 0; i < n; i++)
    {
        if (ar[i] > ar[i++])
            k = false;
        if (k == false)
            break;
    }
    if (k == false)
        cout << "Масив не впорядкований по зростанню \n";
    else
    {
        cout << "Масив впорядкований по зростанню \n";
    }
    delete ar;
}

if (ar[i] > ar[i++])
k = false;

int main()

delete[] ar;

if (ar[i] > ar[i++])

for (int i = 1; i < n; i++)
{
    if (ar[i-1] > ar[i]) // сравниваем предыдущий элемент с текущим
    {
        k = false;
        break;
    }    
}