El OEIS enumera el número de soluciones del problema N-queens (Número de formas de colocar n reinas no atacantes en un tablero n X n). Sin embargo, no se da ninguna fórmula. Es fácil observar que cada número de la secuencia es más del doble de su predecesor.
¿Existe algún límite inferior exponencial asintótico probado para el número de soluciones?