Redirecting to Gauss–Kuzmin distribution