For any fixed
and
(not both equal to zero), define
as the mean value of the
th term of a random
Fibonacci sequence starting from
and
. Then the ratio
tends to a constant
, where
has the value
|
(1)
| |||
|
(2)
|
(OEIS A137421; Rittaud 2007, Janvresse et al. 2008, Finch 2024), where denotes the first (and in this case only real) root
of the polynomial
.
This number may be termed the Rittaud constant.