Definition:Riesel Number/Sequence

Sequence

The sequence of known Riesel numbers starts:

$509 \,203, 762 \,701, 777 \,149, 790 \,841, 992 \,077, 1 \,106 \,681, 1 \,247 \,173, \ldots$

This sequence is A101036 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).

It is conjectured that $509 \,203$ is the smallest Riesel number.

However, there are smaller candidates that are still being checked.