Khinchin integral
[de] Chintschin-Integral