可以确认的等价关系如下：

如果冰雹猜想不正确，那么一定存在一个正整数环。

因为正整数是有序集，那么环一定会存在最小值。

等价于判断是否存在一个值经过迭代后不会产生比自己小的值。（目前是陶哲轩做出来成果证明了极大概率下的数字会生成比它自身小的数字，但是他认为他的方法不能够将极大概率变成一定。）

也等于有限的n个元素构成一个环。

我当时的思路是设置x的个数，依次解出环的个数。

例如3个参数，那么就可以解出142，4个参数就可以解出无解，以此做归纳法来证明任意n个解（n>3）不存在。