progress on nlogn proof for make_array_naive