A key inequality for lower bound formulas for lattice event probabilities. Issue 4 (2nd October 2021)