OFFSET
1,2
FORMULA
Equals arccot(1/8) = arcsin(8/sqrt(65)) = arccos(1/sqrt(65)). - Amiram Eldar, May 24 2021
Equals arctan(1) + arctan(1/2) + arctan(1/5). - Amiram Eldar, Jan 11 2022
EXAMPLE
arctan(8) = 1.4464413322481351841999668424758804165254145079...
MATHEMATICA
r = 8;
N[ArcTan[r], 100]
RealDigits[%][[1]]
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Sep 24 2011
STATUS
approved