Coarse-graining support: Support.Book.Ch05.Theorems.Section53.JUpperBoundCoarseFluctuations

Imported from the Apache-2.0 CoarseGraining development at commit c7ddd76c08ade64fed1b8d2ca51be14dfee8deb4.

Upper bound for centered response by coarse fluctuations

Top-level module reserved for the third manuscript lemma in Section 5.3. It will consume the first two Section 5.3 lemmas when the proof is developed.