Хотя в 1976 году Рихо Террас показал, что почти все последовательности включают в себя значения ниже исходного. В 1979 году показали, что значения будут меньше исходных на эти значения, возведённые в степень 0,869. Позднее, в 1994 году, степень стала точнее – 0,7925. Здесь почти все числа означают, что при стремлении исходных значений к бесконечности, доля ограничивающей функции стремиться к 1. В 2019 же году, математик Терри Тао смог доказать, что этот алгоритм подчиняется ещё более строгим ограничениям.
Ему удалось показать, что все числа будут меньше, чем значения функции в любой точке, при условии, что предел функции, при стремлении переменной к бесконечности будет равна бесконечности. При этом функция может расти сколь угодно медленно, тот же логарифм, или логарифм логарифма, или логарифм логарифма-логарифма и т. д. Это позволяет утверждать, что сколь угодно малые числа есть в ряде любого исходного числа. И как было сказано в 2020 году, лучше этого может быть только прямое доказательство гипотезы.
Использованная литература
1. Хэйес, Брайан. Вздёты и падения чисел-градин. American. – 1984. – №3. – С. 102—107.
2. Стюарт, Иэн. Величайшие математические задачи. – М.: Альпина нон-фикшн, 2015. – 460 с.
3. Jeff Lagarias. The 3x+1 and its generalizations. American Mathematical Monthly. – 1985. – Vol. 92. – P. 3—23.