Add naive make array running time proof (by construction).

It's probably quite a bit more effort to show that the rt function is
O(nlog(n)).