A sharp Sobolev inequality and its applications to an indefinite elliptic equation with Neumann boundary conditions. (August 2020)