The OEIS mourns the passing of Jim Simons and is grateful to the Simons Foundation for its support of research in many branches of science, including the OEIS.
login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A181122 Decimal expansion of Sum_{k>=0} (-1)^k/(5k+1). 3
8, 8, 8, 3, 1, 3, 5, 7, 2, 6, 5, 1, 7, 8, 8, 6, 3, 8, 0, 4, 0, 7, 5, 5, 2, 2, 7, 0, 2, 0, 3, 7, 9, 3, 4, 6, 2, 7, 8, 1, 1, 0, 8, 3, 0, 7, 7, 5, 4, 5, 8, 1, 7, 1, 2, 0, 5, 9, 7, 0, 6, 8, 2, 0, 8, 4, 7, 6, 9, 9, 0, 6, 9, 6, 4, 0, 4, 2, 3, 8, 0, 4, 1, 5, 8, 1, 9, 7, 3, 6, 7, 1, 9, 2, 4, 2, 0, 4, 5, 9, 7, 0, 7, 6, 6 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET
0,1
LINKS
H. Wilf, Accelerated series for universal constants, by the WZ method, Discrete Mathematics and Theoretical Computer Science 3(4) (1999), 189-192.
FORMULA
Sum_{k>=0} (-1)^k/(5k+1) = Integral_{x=0..1}dx/(1+x^5) = (1/10)*sqrt(10-2*sqrt(5))*arctan((3/4)*sqrt(10-2*sqrt(5)) + (1/4)*sqrt(10-2*sqrt(5))*sqrt(5)) + (1/20)*sqrt(10-2*sqrt(5))*arctan(-(1/4)*sqrt(10-2*sqrt(5)) + (1/4)*sqrt(10-2*sqrt(5))*sqrt(5)) + (1/20)*sqrt(10-2*sqrt(5))*sqrt(5)*arctan(-(1/4)*sqrt(10-2*sqrt(5)) + (1/4)*sqrt(10-2*sqrt(5))*sqrt(5)) + (1/20)*log(2)*sqrt(5) + (1/5)*log(2) - (1/20)*log(7-3*sqrt(5))*sqrt(5).
Equals Pi*sqrt(phi)/5^(5/4) + log(phi)/sqrt(5) + log(2)/5, where phi = A001622 = (1+sqrt(5))/2 is the golden ratio. - Vaclav Kotesovec, Nov 01 2015
From Peter Bala, Feb 19 2024: (Start)
Equals (1/2)*Sum_{n >= 0} n!*(5/2)^n/(Product_{k = 0..n} 5*k + 1) = (1/2)*Sum_{n >= 0} n!*(5/2)^n/A008548(n+1) (apply Euler's series transformation to Sum_{k >= 0} (-1)^k/(5*k + 1)).
Continued fraction: 1/(1 + 1^2/(5 + 6^2/(5 + 11^2/(5 + ... + (5*n + 1)^2/(5 + ... ))))).
The slowly converging series representation Sum_{n >= 0} (-1)^n/(5*n + 1) for the constant can be accelerated to give the following faster converging series:
1/2 + (5/2)*Sum_{n >= 0} (-1)^n/((5*n + 1)(5*n + 6)) and
17/24 + (25/2)*Sum_{n >= 0} (-1)^n/((5*n + 1)(5*n + 6)*(5*n + 11)).
These two series are the cases r = 1 and r = 2 of the general result: for r >= 0, the constant equals
C(r) + ((5/2)^r)*r!*Sum_{n >= 0} (-1)^n/((5*n + 1)*(5*n + 6)*...*(5*n + 5*r + 1)), where C(r) is the rational number (1/2)*Sum_{k = 0..r-1} (5/2)^k*k!/(1*6*11*...*(5*k + 1)). The general result can be proved by the WZ method as described in Wilf. (End)
From Peter Bala, Mar 03 2024: (Start)
Equals hypergeom([1/5, 1], [6/5], -1).
Gauss's continued fraction: 1/(1 + 1^2/(6 + 5^2/(11 + 6^2/(16 + 10^2/(21 + 11^2/(26 + 15^2/(31 + 16^2/(36 + 20^2/(41 + 21^2/(46 + ... )))))))))). (End)
EXAMPLE
0.88831357265178863804075522702037934627811083077545817120597...
MAPLE
(int(1/(1+x^5), x=0..1));
evalf(LerchPhi(-1, 1, 1/5)/5) ; # R. J. Mathar, Oct 16 2011
MATHEMATICA
(Sqrt[8 + 8/Sqrt[5]]*Pi + 2*Sqrt[5]*ArcCoth[3/Sqrt[5]] + Log[16])/20 // RealDigits[#, 10, 105]& // First (* Jean-François Alcover, Feb 13 2013 *)
PROG
(PARI)
default(realprecision, 106);
eval(vecextract(Vec(Str(sumalt(n=0, (-1)^(n)/(5*n+1)))), "3..-2")) \\ Gheorghe Coserea, Oct 06 2015
CROSSREFS
Sequence in context: A011109 A248622 A023411 * A023412 A336211 A343392
KEYWORD
cons,nonn
AUTHOR
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified May 13 09:49 EDT 2024. Contains 372504 sequences. (Running on oeis4.)