Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.53259318176309616657096500819731904472\ 7785768143492192239748725959438263156311\ 177668660896489779557224120