En noviembre de 2005 se comprobó la conjetura para todas las secuencias de números menores que formula_2.