Dla podanego wzoru rekurencyjnego:
[tex]f(n) = \begin{cases} \frac{n}{2} &\text{if } n \equiv 0 \pmod{2}\\[4px] 3n+1 & \text{if } n\equiv 1 \pmod{2} .\end{cases}[/tex]
udowodnij, że dla dowolnego n > 1, po dowolnie wielu iteracjach n osiągnie wartość 1.