A guaranteed minimum value for an optimal solution, used to prune search branches that cannot improve the best solution found so far.