用python代码证明冰雹猜想（又称角谷猜想）：一个自然数x,如果是奇数就乘以3再加1,如果是 偶数就除以2,这样经过若干次后，最终一定会回到1。编写程序，输入任意一个自然数， 验证该猜想是否成立；若输入非数字字符则结束程序。

在Python中，我们可以创建一个简单的循环来验证冰雹猜想（也称为角谷猜想）。这里是一个示例程序：

def hailstone_sequence(n):
    while n != 1:
        if n % 2 == 0:
            n = n // 2
        else:
            n = n * 3 + 1
        print(f"当前数值：{n}")
    print("猜想成立：数值已到达1")

def validate_input(user_input):
    try:
        num = int(user_input)
        return num
    except ValueError:
        print("输入错误，请输入一个整数。")
        return None

while True:
    user_input = input("请输入一个自然数（或输入非数字字符退出）：")
    num = validate_input(user_input)
    if num is not None:
        hailstone_sequence(num)
    else:
        break

这个程序首先定义了一个`hailstone_sequence`函数，它接受一个数字并按照冰雹猜想规则更新值。然后在主循环中，用户输入会被检查是否可以转换为整数，如果能，就会调用`hailstone_sequence`函数；如果输入的是非数字，会提示用户重新输入。