Name: Anonymous 2011-02-09 11:54
Prove that this program terminates for all positive values of n.
def sequence(n):
while n != 1:
print n,
if n%2 == 0: # n is even
n = n/2
else: # n is odd
n = n*3+1