Exact Gaussian overflow constraint
ID: exact-gaussian-overflow-constraint
For a normal distribution with mean , positive variance , and , the target is equivalent to the displayed constraint, where is the standard normal distribution function. This follows from and strict monotonicity of . Unlike the sufficient Chernoff bound margin , this constraint is necessary as well as sufficient. The exact quantile can be negative when .
New to topics? Read the docs here!