El bloque más largo de exponentes unitarios en los ciclos de Collatz

Demuestra que los bloques distintos del más largo suman una fracción fija del número de términos impares, con una cota del acarreo válida para cualquier número de bloques. Recupera los casos de uno y dos bloques, y restringe los de tres.