O 19. a 20. Hilbertově problému
Using elementary convexity arguments involving the Legendre transformation and the Prékopa-Leindler inequality, we prove the sharp Moser-Onofri inequality, which says that1/16π ∫|∇φ|2 + 1/4π ∫ φ - log (1/4π ∫ eφ) ≥ 0for any funcion φ ∈ C∞(S2).