Logarithmic_Sobolev_inequalities loading ...