get make_array_naive's running proven to be
a function based only on the size of the input
list

the function is still complex tho, so still
work to prove it is linear