Proof of make_array_naive1 running time