Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.31416432975693784032373150046341031481\ 4414904694888882535447037031774940678054\ 415403595796597918632261729