prove that mat_time is nlogn and then use it
to make the main result an upper bound on
naive_make_array.