Explicit Constructive Approximation to Symmetrization Via Iterated Polarizations

We construct an explicit approximation to a rearranged function

of u via iterated polarizations of u