Función Generadora de Secuencias con Convergencia Demostrable

Introducimos una función δ : 2N → 2N definida sobre números pares que genera secuencias convergentes a un ciclo simple de período 2. Demostramos que toda
órbita bajo iteración de δ converge al ciclo {2, 4} mediante un análisis modular y el estudio de la valuación 2-ádica. La función δ puede interpretarse como una
proyección de la conjetura de Collatz sobre números pares, eliminando los términos impares intermedios.