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!)
A371525 Decimal expansion of Product_{k>=1} (1 + 1/Lucas(k)). 6
4, 7, 9, 6, 2, 8, 8, 5, 2, 3, 1, 8, 8, 3, 8, 5, 4, 6, 3, 8, 1, 0, 3, 7, 0, 1, 4, 0, 7, 5, 1, 2, 1, 5, 8, 4, 9, 8, 1, 9, 5, 1, 6, 3, 0, 8, 0, 9, 2, 3, 4, 7, 7, 4, 1, 8, 3, 7, 3, 9, 5, 7, 2, 2, 0, 5, 7, 8, 3, 4, 2, 6, 1, 6, 7, 9, 3, 5, 0, 8, 9, 5, 4, 9, 8, 5, 7, 6, 6, 1, 0, 8, 0, 0, 6, 2, 8, 3, 1, 2, 5, 4, 6, 6, 6 (list; constant; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
Any two of the four constants {A337668, A337669, this, A371526} are algebraically independent over Q, while any three are not (Duverney et al., 2022).
LINKS
Daniel Duverney, Carsten Elsner, Masanobu Kaneko, and Yohei Tachiya, A criterion of algebraic independence of values of modular functions and an application to infinite products involving Fibonacci and Lucas numbers, Research in Number Theory, Vol. 8 (2022), Article 31; alternative link.
Eric Weisstein's World of Mathematics, Dedekind Eta Function.
FORMULA
Equals Product_{k>=1} (1 + 1/A000032(k)).
Equals 2 * sqrt(5) * A371529.
Equals 2 * phi^(1/4) * eta(2*tau_0)^3 * eta(3*tau_0) / (eta(tau_0)^2 * eta(4*tau_0)), where phi is the golden ratio (A001622), tau_0 = i*log(phi)/Pi, and i = sqrt(-1) (Duverney et al., 2022).
EXAMPLE
4.79628852318838546381037014075121584981951630809234...
MATHEMATICA
With[{eta = DedekindEta, tau0 = Log[GoldenRatio]*I/Pi}, RealDigits[2 * Surd[GoldenRatio, 4] * eta[2*tau0]^3 * eta[3*tau0]/(eta[tau0]^2 * eta[4*tau0]), 10, 120][[1]]]
PROG
(PARI) prodinf(k = 1, 1 + 1/(fibonacci(k-1) + fibonacci(k+1)))
CROSSREFS
Sequence in context: A155065 A010479 A153113 * A105169 A200618 A085108
KEYWORD
nonn,cons
AUTHOR
Amiram Eldar, Mar 26 2024
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 July 17 08:16 EDT 2024. Contains 374360 sequences. (Running on oeis4.)