5.2.3 不一致的下限