Smooth Approximation Up to the Boundary