In this paper, we consider the zero-viscosity limit of the 2D steady
Navier-Stokes equations in $(0,L)\times\mathbb{R}^+$ with non-slip boundary
conditions. By estimating the stream-function of the remainder, we justify the
validity of the Prandtl boundary layer expansions.