John–Nirenberg Inequality