学习 下确界 代数 下界 中英对照