Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.99734214859525235977759359954878197927\ 1192413553822172718898292477084234767527\ 678460449815176990616658773