Andrew Odlyzko verified that formula_11 is 1 for formula_12 in 1993, but the conjecture remains an open problem.
в 1993 проверил, что formula_10 равно 1 для всех formula_11, но гипотеза остается открытой проблемой.