Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.42728343876885536400544778356981172491\ 4069679989025118891111724894085514499380\ 437226252784877727163