Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.88495559215387594307758602996770173051\ 8301639625063492584966755384689843771725\ 399176820895205270240789