A Gauss-Kusmin theorem for optimal continued fractions

Abstract

One of the first and still one of the most important results in the metrical theory of continued fractions is the so-called Gauss-Kusmin theorem. Let and let be the regular continued fraction (RCF) expansion of then it was observed by Gauss in 1800 that