4 Sep
2020
4 Sep
'20
11:29 a.m.
Nice analysis, George! Yup, Hans named it — the Foias constant. Apparently it was discovered because of a misprint in a copy of a question that originally asked whether the (much simpler) recurrence x_(n+1) = (1 + 1/x_n)^x_n (where x_1 > 0) could possibly approach oo. —Dan Hans Havermann wrote: ----- GH: "f(1) = 1.1874523511" Looks like Foias' constant. https://mathworld.wolfram.com/FoiasConstant.html -----