post stl lowerbound