Lo encontró Iridium en Sevilla. Es tan probable que sea el Gordo como cualquiera de los otros 84.999 números que se pondrán en juego esta navidad en la Lotería Nacional.
Curiosamente este año se emitirían billetes de Lotería de Navidad por importe de unos ~ π ×109 euros (~3,14 millardos de euros).
Yo de momento sólo he encontrado el 23, que es primo, el número de los Illuminati y redondeando eπ ~ 23, entre otras cosas.
Actualización (6 de noviembre de 2007): Nos cuenta Johansolo que se dedica a esto de la lotería que la ONLAE tiene una página web llamada Localizar el Número Soñado donde se pueden ver las administraciones en que se venden todos los números de la Lotería de Navidad.
Actualización (7 de noviembre de 2007): En la administración de lotería de Sevilla donde lo vendían el 31415 en exclusiva ya lo tiene agotado, así que es imposible de conseguir como no sea intercambio/reventa.