A sharp integral rearrangement inequality for the dyadic maximal operator and applications

We prove a sharp integral inequality for the dyadic maximal operator and give as an application another proof for the computation of its Bellman function of three variables.