Write an algorithm to decide if an array is sorted in ascending order. Include an appropriate loop invariant in your code.