On the existence theorem for the barotropic motion of a compressible inviscid fluid in the half-space