一段你永远无法知道其运行时间上限的代码

今天上数据结构课，老师给了我们下面这段暴经典的代码。你也可以看一看。

你可以毫无障碍地分析出它的下限为log2(n)，但是问题在于，似乎没有人能够证明，对于任意的正整数n，这个程序都不会陷入死循环。于是，你也就无法分析出它的上限了。

#include "iostream"

bool IsOdd(int n) {

    if(n % 2 == 0)
        return false;
    else
        return true;

}

int main() {

    int n;
    std::cin>>n;
    std::cout<<std::endl;

    while(n > 1) {

        if(IsOdd(n))
           n = 3 * n + 1;
        else
           n /= 2;
        std::cout<<n<<std::endl;
 
    }

    return 0;

}