请教个数学题的名称

证明对于任意n，循环都会终止，这个好像是一个什么问题，名称忘记了

while n>1:
if n%2 == 0:
n = n/2
else:
n = 3*n+1

查到了，叫Collatz序列