Aquí, la conjetura toma la forma de un enunciado "cuando N es suficientemente grande", y está sujeto a la condición de que