Python验证角谷猜想

 角谷静夫是日本的一位著名学者，他提出了一个猜想（称为角谷猜想）：对于一个正整数n，若为偶数则除以2，若为奇数则乘以3加1，得到一个新的数后按照之前的两条规则继续演算，若干次后得到的结果必然为1。输入任一正整数，输出演算过程。

n = int(input("请输入一个正整数："))

while n != 1:
    if n % 2 == 0:
        k = n / 2
        print("%d/2=%d" %(n, k))
        n = k
    else:
        l = n * 3 + 1
        print("%d*3+1=%d" %(n, l))
        n=l