Li-Fan Chen
says to
YSITD
類似可以證明 Comparison sort 的最佳解是 O(n log n) 一樣