Fungrim home page

Fungrim entry: 2ac5eb

minxRsinc(x)=0.217233628211221657408279325562  (nearest 30 digits)\mathop{\min}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = -0.217233628211221657408279325562 \;\, {\scriptstyle (\text{nearest } 30 \text{ digits})}
\mathop{\min}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = -0.217233628211221657408279325562 \;\, {\scriptstyle (\text{nearest } 30 \text{ digits})}
Fungrim symbol Notation Short description
MinimumminxSf(x)\mathop{\min}\limits_{x \in S} f(x) Minimum value of a set or function
Sincsinc(z)\operatorname{sinc}(z) Sinc function
RRR\mathbb{R} Real numbers
Source code for this entry:
    Formula(EqualNearestDecimal(Minimum(Sinc(x), ForElement(x, RR)), Decimal("-0.217233628211221657408279325562"), 30)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC