Para valores de formula_2pequeños se había demostrado que formula_13, lo que llevó a conjeturar a varios matemáticos en la época de Gauss que formula_14era una cota superior estricta de formula_1(esto es que la ecuación formula_16no tiene soluciones reales).