Beyond Adjacency

Note that the definition is given in terms of adjacent elements only.

However, we can make the following inference.

Lemma: If B is sorted, if and only if .

That means that every object to the left of B[j] is smaller than B[j] (not just the adjacent one).

• 0 3 4 6 6 7 9 A
• 1 2 3 4 5 6 7 i

How would you prove this?