“…In the seminal paper [13], Kinnunen studied the action of the Hardy-Littlewood maximal operator on Sobolev functions, giving an elegant proof that M : W 1,p (R d ) → W 1,p (R d ) is bounded for 1 < p ≤ ∞. This work paved the way for several interesting contributions to the regularity theory of maximal operators over the past two decades, with interesting connections to potential theory and partial differential equations, see for instance [1,3,5,6,7,10,12,14,15,17,18,20,21,22,23,24,25].…”