Reminder: The OEIS is hiring a new managing editor, and the application deadline is January 26.
14.0710678118654752440084436210484903928\ 4835937688474036588339868995366239231053\ 51942519