Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
2.38894934360890459687043267819730992966\ 3306029462290199116918015075061396619531\ 08677811060037055586