Rearrangements and Leibniz-type rules of mean oscillations

We shall prove a rearrangement inequality in probability measure spaces in order to obtain sharp Leibniz-type rules of mean oscillations in Lp-spaces and rearrangement invariant Banach function spaces.