 Cube mean-gradient inequality

For the cube $Q=(0,L{)}^n$ and $u\in H^1(Q)$,This follows from the pairwise-difference identityand a coordinate-by-coordinate path from $x$ to $y$. The Cauchy-Schwarz inequality bounds the squared sum of its $n$ increments by $n$ times the sum of their squares, while the one-dimensional fundamental theorem of calculus bounds each integrated increment by $L^{n+2}\Vert D_{i}u{\Vert }_2^2$. Division by $2|Q|=2L^n$ gives the stated constant.