以下のコードが配列 A を昇順にソートすることを証明せよ。

for i in range(N):
■■for j in range(N):
■■■■if A[i] < A[j]:
■■■■■■swap(A[i], A[j])