OFFSET
1,2
COMMENTS
The constant given in the name is computed using a telescopic sum coming from cotan(x) - 2*cotan(2*x) = tan(x).
REFERENCES
J. Quinet, Cours élémentaire de Mathématiques Supérieures, Tome 3, Calcul intégral et Séries, Bordas, 1973, Exercice 7.36, pp 111 and 231.
FORMULA
Equals Sum_{m>=0} (1/2^m) * (tan(1/2^m)).
Equals (t^2+t-1)/t with t=A049471. - Michel Marcus, Jan 21 2022
EXAMPLE
1.915315108720571527500554820864094552856972658463348659...
MAPLE
evalf(1-2/tan(2), 120);
MATHEMATICA
RealDigits[1 - 2*Cot[2], 10, 100][[1]] (* Amiram Eldar, Jan 21 2022 *)
PROG
(PARI) 1-2*cotan(2) \\ Michel Marcus, Jan 21 2022
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Bernard Schott, Jan 21 2022
STATUS
approved