Finds range where element resides by doubling powers of 2, then performs binary search in that bounded range.