Collatz conjecture
Lower bounds

In a computer-aided proof, Krasikov and Lagarias showed that the number of integers in the interval that eventually reach 1 is at least equal to x for all sufficiently large x.
combination:repeat_prompt