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).