La conjetura de Löthar Collatz se expresa en formato funcional con demostración elemental en análisis matemático.

El formato funcional se refiere a las fórmulas genéricas que determinan todos los números impares en correlación con el algoritmo y la correspondiente a la conjetura.

Dadas las consideraciones anteriores, la demostración se reduce a la aplicación del algoritmo 3n + 1 a los dígitos impares 3 y 9, y la conjetura ingresa al mundo de los teoremas en menos de cinco renglones.