A rearrangement based proof for the existence of extremal functions for the Sobolev–Poincaré inequality on

Existence of extremals for 1 < p ⩽ n + 1 2 is shown for the Sobolev–Poincaré inequality on B n using a mean-value zero preserving rearrangement.