lower bound
lower bound