Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.49808598725672227846030089043009509795\ 6492531821561405919302821086180568832500\ 18457509057941370939