Approximation of the identity and Hardy-Littlewood maximal function The inequality seems to be simple but I could not find the right limits of integration.
$$\sup_{\delta>0} |f*K_{\delta}|(x)\leq c f^*(x)$$
Where is some positive constant, $f$ is integrable, $K_\delta$ is an approximation of the identity and $f^*$ is the Hardy-Littlewood maximal function of $f$.
An approximation of the identity is family of Kernel satisfying:
I)$\int_{\mathbb{R}^n}K_{\delta}(x)dx = 1$;
II)$|K_{\delta}(x)|\leq A\delta^{-n}$;
III)$|K_{\delta}(x)|\leq A\delta /|x|^{n+1}$.
And the maximal function is the non-centered.
 A: Actually you can start from the most simple case: when $K_\delta$ is approximated by simple function $\phi$. $$\phi=\sum^{m}_{j=1} C_{j}\chi_{B_j},C_j\geq0, \ \  f*\phi=\sum^{m}_{j=1} C_{j} |B_j|\cdot\frac{1}{|B_j|}\cdot f*\chi_{B_j}$$. $$\therefore |f*\phi|\leq \sum^{m}_{j=1} C_{j} |B_j|f^{*}=\int \phi \cdot f^{*}=||\phi||_{1}\cdot f^*$$.
Then use ${\phi_{k}}$to approach $K_\delta.$
A: It is enough to assume just II and III. Define $L_{\delta}(x) = \min(\delta^{-n}, {\delta \over |x|^{n+1}})$. Since $|K_{\delta}(x)| \leq L_{\delta}(x)$, you have $|f \ast K_{\delta}(x)| \leq |f| \ast L_{\delta}(x)$ and thus it suffices to show your statement for $L_{\delta}(x)$ in place of $K_{\delta}(x)$.
Observe that 
$$|f\ast L_{\delta}(x)| \leq \int_{{\mathbb R}^n} |f(x - y)|L_{\delta}(y)\,dy$$
$$\leq \int_{|y| \leq \delta} |f(x - y)|L_{\delta}(y)\,dy + \sum_{k = 0}^{\infty}\int_{2^k\delta \leq |y| \leq 2^{k+1}\delta}|f(x - y)|L_{\delta}(y)\,dy$$
In the first term $L_{\delta} = \delta^{-n}$ and thus the term is bounded by $cf^*(x)$. In the $k$th term of the sum, $L_{\delta}(y) \leq C{\delta \over (2^{k}\delta)^{n+1}} = C2^{-k} (2^k\delta)^{-n}$. Thus this term is bounded by $C'2^{-k}f^*(x)$. Adding over all $k$ gives a bound of 
$$cf^*(x) + C'\sum_{k=0}^{\infty}2^{-k}f^*(x) = C''f^*(x)$$
This is independent of $\delta$ so your statement follows.
