finish big_oh proof for copy_insert