text: Per esempio, la congettura di Collatz, che riguarda la possibilità che certe sequenze di numeri interi terminino o meno, è stata verificata per tutti i numeri interi fino a 1,2 × 1012 (oltre un trilione).