Pro esèmpiu, sìipòtesi de Collatz, chi pertocat si tzertas secuèntzias de intreos terminant o no, est istada proada pro totu sos intreos finas a 1.2 × 1012 (prus de unu trilione).