OFFSET
1,1
LINKS
Les-mathematiques.net, Somme arctan(1/k).
Cornel Ioan Vălean, Problem 11924, The American Mathematical Monthly, Vol. 123, No. 7 (2016), p. 722; An Integral with Fractional Part of Tangent, Solution to Problem 11924 by Edward and Roberta White, ibid., Vol. 125, No. 5 (2018), pp. 468-470.
FORMULA
Equals log(Pi/sinh(Pi)) / 2.
Equals Integral_{x=0..Pi/2} ({tan(x)}/tan(x) - 1) dx, where {x} = x - floor(x) is the fractional part of x (Vălean, 2016). - Amiram Eldar, Feb 08 2024
EXAMPLE
-0.65092319930185633888521683150394766...
MAPLE
evalf(log(Pi/sinh(Pi)) / 2, 100);
MATHEMATICA
RealDigits[Log[Pi/Sinh[Pi]]/2, 10, 100][[1]] (* Amiram Eldar, Mar 19 2022 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Bernard Schott, Mar 19 2022
STATUS
approved