OFFSET
0,2
FORMULA
Equals Integral_{x >= 0} exp(-6*x)*sin(x)/x dx. - Peter Bala, Nov 05 2019
From Amiram Eldar, Jun 05 2021: (Start)
Equals Pi/2 - A195773.
Equals arcsin(1/sqrt(37)) = arccos(6/sqrt(37)) = arctan(1/6). (End)
EXAMPLE
0.16514867741462683827912828964394345399...
MATHEMATICA
N[ArcCot[6], 108]
RealDigits[%] (* Felix Fröhlich, Jun 05 2021 *)
PROG
(PARI) atan(1/6) \\ Michel Marcus, Jun 05 2021
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Sep 24 2011
EXTENSIONS
a(99) corrected by Georg Fischer, Jul 10 2021
STATUS
approved