Coarse-graining support: Support.Book.Ch05.Theorems.Section54.GoodScale

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

Good-scale parameter bounds

This module is the public entry point for the second result of Section 5.4.