OFFSET
0,1
LINKS
Kevin G. Hare, Ian D. Morris, Nikita Sidorov, and Jacques Theys, An explicit counterexample to the Lagarias-Wang finiteness conjecture, arXiv:1006.2117 [math.OC], 2010-2011.
Kevin G. Hare, Ian D. Morris, Nikita Sidorov, and Jacques Theys, An explicit counterexample to the Lagarias-Wang finiteness conjecture, Advances in Mathematics 226 (2011), 4667-4701.
J. C. Lagarias and Y. Wang, The finiteness conjecture for the generalized spectral radius of a set of matrices, Linear Algebra Appl., 214 (1995), 17-42.
FORMULA
Equals Product_{n >= 1} (1 - t(n-1)/(t(n)*t(n+1)))^((-1)^n*Fibonacci(n+1)), where t(n) = A022405(n+1) and Fibonacci(n) = A000045(n). See Theorem 1.1 of Hare et al. (2010, 2011). - Michel Marcus, May 10 2019
EXAMPLE
0.74932654633036755794396194809134467209132737023606431735802...
PROG
(PARI) t(n) = if (n==0, 1, if (n==1, 2, if (n==2, 2, t(n-1)*t(n-2) - t(n-3)))); \\ A022405
prodinf(n=1, (1 - t(n-1)/(t(n)*t(n+1)))^((-1)^n*fibonacci(n+1))) \\ Michel Marcus, Jun 14 2015; May 10 2019
CROSSREFS
KEYWORD
cons,nonn
AUTHOR
Jonathan Vos Post, Jun 11 2010
EXTENSIONS
More terms from Amiram Eldar, May 15 2021
STATUS
approved