Khinchin's constant

In number theory, Khinchin's constant is a mathematical constant related to the simple continued fraction expansions of many real numbers. In particular Aleksandr Yakovlevich Khinchin proved that for almost all real numbers x, the coefficients ai of the continued fraction expansion of x have a finite geometric mean that is independent of the value of x. It is known as Khinchin's constant and denoted by K0.

That is, for

it is almost always true that

The decimal value of Khinchin's constant is given by:

(sequence A002210 in the OEIS)

Although almost all numbers satisfy this property, it has not been proven for any real number not specifically constructed for the purpose. The following numbers whose continued fraction expansions apparently do have this property (based on empirical data) are:

Among the numbers x whose continued fraction expansions are known not to have this property are:

Khinchin is sometimes spelled Khintchine (the French transliteration of Russian Хинчин) in older mathematical literature.