Bugfix: correctly compute lower bound