A short note on Nash-Moser-De Giorgi in dimension 2

Here is something I found super interesting recently. Nash-Moser-De Giorgi is a remarkably deep result, however in 2 dimensions, the proof is a simple consequence of the Cacciopolli inequality. We then discuss briefly how to extend this method to higher dimensions.