Lower Bound computation