Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
0.99994922914116059610594746063609780619\ 8797458633366093986473783043873714015188\ 0041622424454642916024