need to still verify if algo for A[i] = i part runs in O(lg n) time