Sharp constant in a Sobolev inequality