The Frank–Lieb approach to sharp Sobolev inequalities