n is a positive integer.
a positive integer is an integer that is greater than zero.
the smallest possible positive integer is 1.
every positive integer is even or odd.
for some positive integer k:
-> n is even if can be written as 2k.
-> n is odd if can be written as 2k-1.
f(n) = {n/2 if n is even; 3n+1 if n is odd}.
=> f(n) = {n/2 if n=2k; 3n+1 if n=2k-1}, k>=1.
=> f(n) = {(2k)/2 if n=2k; 3(2k-1)+1 if n=2k-1}, k>=1.
=> f(n) = {k if n=2k; (6k-3)+1 if n=2k-1}, k>=1.
=> f(n) = {k if n=2k; 6k-2 if n=2k-1}, k>=1.
=> f(n) = {k if n=2k; 2(3k-1) if n=2k-1}, k>=1.