Theorem (8.1) - Any comparison sort algorithm requires Ω(nlgn) comparisons in the worst case.
Corollary (8.2) - Heapsort and merge sort are asymptotically optimal comparison sorts
Decision tree
The height (the longest root-to-leaf path) of a decision tree is h≥lg(n!)=Ω(nlgn), that is the worst-case number of comparisons in comparison sort algorithm.
The number of leaves is l≥n!
The depth of any leaf is at least n−1
Non-comparison Sorts
A non-comparison sort algorithm requires Ω(n) comparisons in the worst case.