La desigualdad de Hardy es una desigualdad matemática llamada así debido a G.H. Hardy. Esta desigualdad afirma que si
es una sucesión de números reales no negativos que no es idénticamente nula, entonces para cualquier número real p > 1 se tiene
![{\displaystyle \sum _{n=1}^{\infty }\left({\frac {a_{1}+a_{2}+\cdots +a_{n}}{n}}\right)^{p}<\left({\frac {p}{p-1}}\right)^{p}\sum _{n=1}^{\infty }a_{n}^{p}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cedfb3644eb0905d45a5d57aaa9d06a5b4047dc)
Una versión integral de la desigualdad de Hardy afirma que si f es una función integrable a valores no-negativos, entonces
![{\displaystyle \int _{0}^{\infty }\left({\frac {1}{x}}\int _{0}^{x}f(t)\,dt\right)^{p}\,dx\leq \left({\frac {p}{p-1}}\right)^{p}\int _{0}^{\infty }f(x)^{p}\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db329d142fa3569aa50b780003559ca8c4a972a1)
con igualdad si y solo si f(x) = 0 casi en todas partes.