Not an Invariant

This looks a little like a sorting algorithm. So$,$ a tempting but incorrect invariant would be: "Just before an arbitrary iteration of the outer $($for$)$ loop, for every pair of indexes p and q such that $1<=$ p $<=$ q $<$ i$,$ A$[$p$]<=$ A$[$q$]."$