Lower Bound Formula