Moser iteration combines a Caccioppoli inequality with the Sobolev embedding theorem to raise an integrability exponent geometrically. On nested balls it turns an bound for a nonnegative subsolution of a uniformly elliptic divergence-form equation into a local supremum bound.
New to topics? Read the docs here!