練習問題 5.2.2

sortby f
は長さ
n
のリストに対して高々
cn log n
ステップであり,
mergeby f
は結果が長さ
n
のリストに対して高々
cn
ステップであると仮定せよ. このとき,
sortby f
は長さ
2n
のリストに対して高々
2cn log (2n)
であることを証明せよ.