Bloques de exponentes unitarios en los ciclos de Collatz: todo ciclo no trivial tiene un bloque corto

Demuestra que en todo ciclo no trivial el bloque de exponentes iguales a 1 más corto mide menos de 0,1144 n + log₂ r + 0,85, donde n es el número de términos impares y r el número de bloques, y también que es O(log n), mediante el teorema de Matveev.