# The optimal asymptotic behavior of the coefficient in the Hardy-Littlewood maximal inequality

It is well-known that for $$f \in L^1(\mathbb{R^n})$$,$$\mu(x \in \mathbb{R^n} | Mf(x) > \lambda) \le \frac{C_n}{\lambda} \int_{\mathbb{R^n}} |f| \mathrm{d\mu}$$, where $$C_n$$ is a constant only depends on $$n$$.

It is easy to see $$C_n \le 2^n$$, but how to determine its optimal asymptotic behavior? For example, does $$C_n$$ bounded in $$n$$? Is $$C_n$$ bounded by polynomial in $$n$$?

• Which maximal function? (central or not? using what convex body (cubes? balls?,...), etc.) – fedja Jun 17 at 5:42
• Have you even tried searching (say, in MathSciNet, or even in Google) for, say, "best/optimal constant" and "Hardy–Littlewood"? – Mateusz Kwaśnicki Jun 17 at 12:52

As far as I know the best bound is still $$O(n)$$ from . For more general maximal functions they get $$O(n\log(n))$$. See also the historical discussion and results in . Note that in $$L^p$$ for $$p>1$$ there is a uniform bound in . Also relevant are  and .