Otto–Villani conjecture on extremals of the logarithmic Sobolev inequality
Otto–Villani conjecture. The function lnf\ln flnf attains equality in the Γ2{\Gamma}_2Γ2 inequality Γ2≥KΓ\Gamma_2\geq K\GammaΓ2≥KΓ.