Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
3.14163256065515386629384277022542943422\ 6061537956739747804651622380144603733351\ 775600364171623359133086