Beautiful formulation — do you expect the bound to be tight?
This connects nicely to the $\theta$-vacuum discussion.