Summarize
Top-down mergesort with sorted check has mergecost (H+3)n — brisk.news
