sinc(x)>−0.217234
Assumptions:x∈R
TeX:
\operatorname{sinc}(x) > -0.217234
x \in \mathbb{R}Definitions:
| Fungrim symbol | Notation | Short description |
|---|
| Sinc | sinc(z)
| Sinc function |
| RR | R
| Real numbers |
Source code for this entry:
Entry(ID("4d3f04"),
Formula(Greater(Sinc(x), Decimal("-0.217234"))),
Variables(x),
Assumptions(Element(x, RR)))