Python Lower Bound