Fungrim entry: 2ac5eb

\mathop{\min}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = -0.217233628211221657408279325562 \;\, {\scriptstyle (\text{nearest } 30 \text{ digits})}

TeX:

\mathop{\min}\limits_{x \in \mathbb{R}} \operatorname{sinc}(x) = -0.217233628211221657408279325562 \;\, {\scriptstyle (\text{nearest } 30 \text{ digits})}

Definitions:

Fungrim symbol	Notation	Short description
`Minimum`	$\mathop{\min}\limits_{x \in S} f(x)$	Minimum value of a set or function
`Sinc`	$\operatorname{sinc}(z)$	Sinc function
`RR`	$\mathbb{R}$	Real numbers

Source code for this entry:

Entry(ID("2ac5eb"),
    Formula(EqualNearestDecimal(Minimum(Sinc(x), ForElement(x, RR)), Decimal("-0.217233628211221657408279325562"), 30)))

Topics using this entry

Sinc function

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