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!)
A338305 Decimal expansion of Sum_{k>=0} 1/F(2^k+1), where F(k) is the k-th Fibonacci number (A000045). 2

%I #11 Jan 14 2023 13:32:40

%S 1,7,3,0,0,3,8,2,2,2,5,0,4,2,4,3,2,4,2,3,0,4,1,2,3,5,6,6,4,9,6,8,9,9,

%T 0,1,0,3,4,7,9,5,5,0,0,4,8,1,0,3,0,9,4,1,5,5,5,6,7,0,8,7,7,7,5,5,8,0,

%U 1,1,6,0,8,0,9,7,2,2,6,0,4,5,3,7,3,7,3

%N Decimal expansion of Sum_{k>=0} 1/F(2^k+1), where F(k) is the k-th Fibonacci number (A000045).

%C Erdős and Graham (1980) asked whether this constant is irrational or transcendental.

%C Badea (1987) proved that it is irrational.

%C Becker and Töpper (1994) proved that it is transcendental.

%C Note that a similar sum, Sum_{k>=0} 1/F(2^k) = (7-sqrt(5))/2 (A079585), is quadratic rational in Q(sqrt(5)).

%H Catalin Badea, <a href="https://doi.org/10.1017/S0017089500006868">The irrationality of certain infinite series</a>, Glasgow Mathematical Journal, Vol. 29, No. 2 (1987), pp. 221-228.

%H Paul-Georg Becker and Thomas Töpper, <a href="https://doi.org/10.1002/mana.19941680102">Transcendency results for sums of reciprocals of linear recurrences</a>, Mathematische Nachrichten, Vol. 168, No. 1 (1994), pp. 5-17.

%H Paul Erdős and Ronald L. Graham, <a href="http://www.math.ucsd.edu/~fan/ron/papers/80_11_number_theory.pdf">Old and new problems and results in combinatorial number theory</a>, L'enseignement Mathématique, Université de Genève, 1980, p. 64-65.

%H <a href="/index/Tra#transcendental">Index entries for transcendental numbers</a>

%F Equals Sum_{k>=0} 1/A192222(k).

%e 1.73003822250424324230412356649689901034795500481030...

%t RealDigits[Sum[1/Fibonacci[2^n + 1], {n, 0, 10}], 10, 100][[1]]

%o (PARI) suminf(k=0, 1/fibonacci(2^k+1)) \\ _Michel Marcus_, Oct 21 2020

%Y Cf. A000045, A079585, A192222, A338304.

%K nonn,cons

%O 1,2

%A _Amiram Eldar_, Oct 21 2020

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 March 28 18:04 EDT 2024. Contains 371254 sequences. (Running on oeis4.)