OFFSET
0,2
FORMULA
Equals Integral_{x = 0..inf} exp(-8*x)*sin(x)/x dx. - Peter Bala, Nov 05 2019
Equals arctan(1/8) = arcsin(1/sqrt(65)) = arccos(8/sqrt(65)). - Amiram Eldar, May 24 2021
EXAMPLE
arccot(8)=0.124354994546761435031354849163871025573170...
MATHEMATICA
(See A195781.)
RealDigits[ArcCot[8], 10, 120][[1]] (* Harvey P. Dale, Nov 09 2014 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Sep 24 2011
STATUS
approved