Python Lower Bound Theory