Khinchin
Constants
Khinchin
Theorems
The continued fraction mean theorem (0 formulas)