Extremals For The Sobolev Inequality And The Quaternionic Contact Yamabe Problem