Soft analysis, hard analysis, and the finite convergence principle | What’s new The Lebesgue differentiation theorem and the Szemeredi regularity lemma | What’s new