Collatz in python