Lower Bound Implementation