Syrakus-Problem, die von L. Collatz aufgestellte und bisher nicht bewiesene Vermutung, dass die natürliche Zahlenfolge 〈a_n〉 (n = 0, 1, 2, ...), die rekursiv durch