4.2.3 外存计算的下界