In number theory, Aleksandr Yakovlevich Khinchin proved that for almost all real numbers x, coefficients ai of the continued fraction expansion of x have a finite geometric mean that is independent of the value of x and is known as Khinchin's constant.
That is, for
it is almost always true that
where is Khinchin's constant
(with denoting the product over all sequence terms).
Although almost all numbers satisfy this property, it has not been proven for any real number not specifically constructed for the purpose. Among the numbers x whose continued fraction expansions are known not to have this property are rational numbers, roots of quadratic equations (including the square roots of integers and the golden ratio Φ), and the base of the natural logarithm e.