OFFSET
0,1
LINKS
FORMULA
Equals arcsin(sqrt(1/7)) = arccos(sqrt(6/7)). - Amiram Eldar, Jul 06 2023
EXAMPLE
arctan(sqrt(1/6)) = 0.387596686655180...
MATHEMATICA
RealDigits[ArcTan[Sqrt[1/6]], 10, 120][[1]] (* Harvey P. Dale, Nov 09 2011 *)
PROG
(PARI) atan(sqrt(1/6)) \\ G. C. Greubel, Aug 20 2018
(Magma) SetDefaultRealField(RealField(100)); Arctan(Sqrt(1/6)); // G. C. Greubel, Aug 20 2018
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Clark Kimberling, Sep 23 2011
EXTENSIONS
Corrected by Harvey P. Dale, Nov 09 2011
STATUS
approved