 Hardy averaging inequality

For $1<p<\infty$, the Hardy operator is bounded on $L^p(0,1)$ with operator norm at most $p/(p-1)$.