Si existe algún contraejemplo a la conjetura (es decir, un número cuya secuencia no alcance nunca el 1), debe satisfacer alguna de estas condiciones: