Python Positive Integer Definition Math