Sobolev trace theorem

For $s>1/2$, restriction to the coordinate hyperplane extends uniquely to a bounded linear mapIn Fourier variables, Cauchy--Schwarz bounds the integral over the normal frequency because $(1+t^2{)}^{-s}$ is integrable exactly when $s>1/2$.