Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
1.00000474760635187188637766879472447144\ 2462770565406117135365294530764798997970\ 3969966669745304134079773