Consider the problem of comparing two real numbers and
based on their continued
fraction representations. Then the mean number of iterations needed to determine
if
or
is given by
(1)
| |||
(2)
| |||
(3)
| |||
(4)
|
(OEIS A143303; Finch 2003, p. 161), where is a polylogarithm.
Let ,
then the first few values can be given by
(5)
| |||
(6)
| |||
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
|
The value
(13)
|
(OEIS A143302) is then known as the Vallée constant (Finch 2003, p. 161).