Manuscript En01-B@2 · En01-B-v2.tex · section · f226d1eb
A sign theorem for every finite Gaussian width
Gaussian regularization: sign, margin, and validated integration › A sign theorem for every finite Gaussian width · lines 1747–1751
The last assertion is an existence result. The next theorem supplies an explicit usable lower bound.