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!)
A309091 Decimal expansion of 4/(Pi-2). 4
3, 5, 0, 3, 8, 7, 6, 7, 8, 7, 7, 6, 8, 2, 1, 7, 3, 2, 2, 4, 0, 7, 8, 1, 9, 4, 0, 3, 0, 2, 2, 9, 0, 7, 7, 5, 8, 5, 0, 0, 7, 9, 6, 0, 1, 3, 6, 1, 1, 4, 8, 3, 1, 2, 7, 2, 8, 0, 9, 4, 1, 9, 0, 0, 2, 7, 9, 9, 6, 5, 7, 7, 4, 0, 8, 7, 4, 2, 1, 9, 9, 0, 2, 6, 9, 0, 3, 3, 5, 0, 3, 7, 6, 7, 0, 8, 9, 1, 4, 3, 9, 8, 2, 9, 1 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
This can be computed using a recursion formula discovered by an algorithm called "The Ramanujan Machine":
1*3
4/(Pi-2) = 3 + --------------------
2*4
5 + ----------------
3*5
7 + ------------
4*6
9 + --------
11 + ... .
For a proof by humans see the arXiv:1907.00205 preprint linked below.
LINKS
Gal Raayoni, George Pisha, Yahel Manor, Uri Mendlovic, Doron Haviv, Yaron Hadad, and Ido Kaminer, The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants, arXiv:1907.00205 [cs.LG], 2019-2020.
EXAMPLE
3.50387678776821732240781940302290775850079601361148312728094190...
MAPLE
nn:= 126: # number of digits
b:= i-> `if`(i<2*nn, 2*i+1 +i*(i+2)/b(i+1), 1):
evalf(b(1), nn);
MATHEMATICA
RealDigits[4/(Pi-2), 10, 120][[1]] (* Amiram Eldar, Jun 29 2023 *)
CROSSREFS
Sequence in context: A010614 A153099 A102575 * A200520 A224933 A307209
KEYWORD
nonn,cons
AUTHOR
Alois P. Heinz, Jul 11 2019
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 June 11 17:16 EDT 2024. Contains 373315 sequences. (Running on oeis4.)