zeroFreeRegion
P37891
predicate
Indicates that a specified domain or region contains no zeros of a given function or quantity.
Sample triples (2)
| Subject | Object |
|---|---|
| Riemann zeta function | Re(s) > 1 → |
| Riemann zeta function | there exists c > 0 such that ζ(s) ≠ 0 for Re(s) ≥ 1 - c/log(|Im(s)|+2) → |