Fungrim entry: e8252c

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

TeX:

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

Definitions:

Fungrim symbol	Notation	Short description
`ModularLambda`	$\lambda(\tau)$	Modular lambda 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("e8252c"),
    Formula(Equal(ModularLambda(Mul(ConstI, Infinity)), ComplexLimit(ModularLambda(tau), For(tau, Mul(ConstI, Infinity))), 0)))

Topics using this entry

2021-03-15 19:12:00.328586 UTC