Gauss-Kuzmin distribution