login
Decimal expansion of the minimum of the function f(x) = Integral_{x=0..oo} (Pi/2 - arctan(t))^x dt.
1

%I #15 Jul 29 2020 05:37:34

%S 1,9,6,0,4,5,7,7,3,2,9,9,4,1,8,6,1,4,6

%N Decimal expansion of the minimum of the function f(x) = Integral_{x=0..oo} (Pi/2 - arctan(t))^x dt.

%H MathOverflow, <a href="https://mathoverflow.net/questions/364956/minimal-value-of-a-function-involving-the-closeness-of-arctan-to-pi-2">Minimal value of a function involving the closeness of arctan to Pi/2</a>

%e f(x) = 1.960457732994186146...

%Y Cf. A336000.

%K nonn,cons,more

%O 1,2

%A _Clark Kimberling_, Jul 08 2020