Text this: Extremals for the Sobolev inequality and the quaternionic contact Yamabe problem