arXiv 2004-07-01 EN Insertion Sort is O(n log n) Bender, Michael A. · Farach-Colton, Martin · Mosteiro, Miguel