Sharp integral inequalities for the dyadic maximal operator and applications

We prove a sharp integral inequality for the dyadic maximal operator, connecting integrals of $\varphi$, and of the dyadic maximal function of $\varphi$.