1 【计】 实际下界, 实在下界 — actual lower bound