Prekopa-Leindler inequality is a functional version of Brunn-Minkowski inequality, and has a close relation to many interesting inequalities. We discuss the proof of Prekopa-Leindler inequality using optimal transport technique. As an application, we derive the sharp Sobolev inequality.
