OFFSET
0,1
COMMENTS
In the Koecher reference v_5(4) = (1/5)*(present value V(5,4)) = 0.07755858036092111..., given there as (1/4)*log(5) + (1/(2*sqrt(5)))*log((1 + sqrt(5))/2) - (Pi/10)*sqrt((5 + 2*sqrt(5))/5).
REFERENCES
Max Koecher, Klassische elementare Analysis, Birkhäuser, Basel, Boston, 1987, Eulersche Reihen, pp. 189-193. For v_5(4) see p. 192.
LINKS
G. C. Greubel, Table of n, a(n) for n = 0..10000
Eric Weisstein's World of Mathematics, Digamma Function.
FORMULA
Sum_{k>=0} 1/((5*n + 4)*(n + 1)) =: V(5,4) = ((5/2)*log(5) + (2*phi - 1)*(log(phi) - (Pi/5)*sqrt(3 + 4*phi)))/2 = -Psi(4/5) + Psi(1) with the golden section phi =(1 + sqrt(5))/2 = A001622 with the digamma function Psi and Psi(1) = -gamma = A001620.
Equals Sum_{k>=2} zeta(k)/5^(k-1). - Amiram Eldar, May 31 2021
EXAMPLE
0.387792901804605598784785543074432988592001153755299230304043559360093480608...
MATHEMATICA
RealDigits[-PolyGamma[0, 4/5] + PolyGamma[0, 1], 10, 100][[1]] (* G. C. Greubel, Sep 05 2018 *)
PROG
(PARI) default(realprecision, 100); phi=(1+sqrt(5))/2; ((5/2)*log(5) + (2*phi - 1)*(log(phi) - (Pi/5)*sqrt(3 + 4*phi)))/2 \\ G. C. Greubel, Sep 05 2018
(Magma) SetDefaultRealField(RealField(100)); R:= RealField(); ((5/2)*Log(5) + Sqrt(5)*(Log((1+Sqrt(5))/2) - (Pi(R)/5)*Sqrt(5+2*Sqrt(5))))/2; // G. C. Greubel, Sep 05 2018
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Wolfdieter Lang, Nov 18 2017
STATUS
approved