x ← A[j]
i ← j + 1
dopóki (i ≤ n) i (x > A[i]) wykonuj
A[i – 1] ← A[i]i ← i + 1A[i - 1] ← x
A[i – 1] ← A[i]
i ← i + 1
A[i - 1] ← x