one step closer to a pedantic make_array_naive running time proof