lower bound函数