check lower bound