4.2 基于比较排序的下界