Fungrim entry: 6b9935

\eta\!\left(i \infty\right) = \lim_{\tau \to i \infty} \eta(\tau) = 0

TeX:

\eta\!\left(i \infty\right) = \lim_{\tau \to i \infty} \eta(\tau) = 0

Definitions:

Fungrim symbol	Notation	Short description
`DedekindEta`	$\eta(\tau)$	Dedekind eta function
`ConstI`	$i$	Imaginary unit
`Infinity`	$\infty$	Positive infinity
`ComplexLimit`	$\lim_{z \to a} f(z)$	Limiting value, complex variable

Source code for this entry:

Entry(ID("6b9935"),
    Formula(Equal(DedekindEta(Mul(ConstI, Infinity)), ComplexLimit(DedekindEta(tau), For(tau, Mul(ConstI, Infinity))), 0)))

Topics using this entry

2021-03-15 19:12:00.328586 UTC