Consider this code that checks if an array is sorted in ascending order:

$//$ Pre: array is not null

$//$ Post: returns true if array is sorted in ascending order, false otherwise

boolean isSorted$($int$[]$ array$)\{$

for $($int i $=0$; i $<$ array.length $-1$; i$++)\{$

if $($array$[$i$]>$ array$[$i$+1])\{$

return false;

$\}$

$\}$

return true;

$\}$

Is i $<($array$.$length $-1)$ a valid loop invariant for the for loop?

Question $2$Select one:

True, because it is true before the loop begins and at the end of each iteration.

False, because it is not true at the beginning of the loop.

False, because it is not maintained throughout the loop execution.

True, because it is true after the loop terminates, which is not a requirement for a loop invariant.