The first element of a Syracuse sequence is a positive integer s0. The value si (for i > 0) is defined to be si−1/2 if s i−1 is even, or 3s i−1 + 1 if s i−1 is odd. The sequence is finished when a 1...

The first element of a Syracuse sequence is a positive integer s0. The value si (for i > 0) is defined to be si−1/2 if s_i−1
is even, or 3s_i−1
+ 1 if s_i−1
is odd. The sequence is finished when a 1 is encountered. Write a procedure to print the Syracuse sequence for any integer s₀. (It is not immediately obvious that this method should always terminate.)