Problems Claims Comments
about 1 month ago on The Strong CP Problem

Beautiful formulation — do you expect the bound to be tight?