%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