Updated lowerbound