Lemma (trivial lemma).
Consider the following operation on an arbitrary positive integer:
- If the number is even, divide it by two.
- If the number is odd, triple it and add one.
Prove that this process will eventually reach the number 1, regardless of
which positive integer is chosen initially.