prove that rt_naive n <= n * cl_log n

also, move things around to share code between
log_sq and make_array