Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.65109340893717530625324033778761540313\ 2441075705596684018767790327604217475084\ 250562108963924098339