Hardy inequality on an interval ($\Vert u/x{\Vert }_p\le \frac{p}{p-1}\Vert u^{\prime }{\Vert }_p$)

If $u\in W^{1,p}(0,1)$ has zero trace at zero, thenIndeed, the one-dimensional Sobolev representative satisfies $u(x)={\int }_0^x{u}^{\prime }(t)dt$, so the claim is the Hardy averaging inequality applied to $u^{\prime }$.