a little progress on copy_insert big_oh proof