finished big_oh proof for make_array_naive