Fungrim home page

Fungrim entry: d0b234

(s{1}andaC{0,1,})    (ζ ⁣(s,a){~})\left(s \in \left\{1\right\} \,\mathbin{\operatorname{and}}\, a \in \mathbb{C} \setminus \{0, -1, \ldots\}\right) \implies \left(\zeta\!\left(s, a\right) \in \left\{{\tilde \infty}\right\}\right)
\left(s \in \left\{1\right\} \,\mathbin{\operatorname{and}}\, a \in \mathbb{C} \setminus \{0, -1, \ldots\}\right) \implies \left(\zeta\!\left(s, a\right) \in \left\{{\tilde \infty}\right\}\right)
Fungrim symbol Notation Short description
CCC\mathbb{C} Complex numbers
ZZLessEqualZn\mathbb{Z}_{\le n} Integers less than or equal to n
HurwitzZetaζ ⁣(s,a)\zeta\!\left(s, a\right) Hurwitz zeta function
UnsignedInfinity~{\tilde \infty} Unsigned infinity
Source code for this entry:
    Formula(Implies(And(Element(s, Set(1)), Element(a, SetMinus(CC, ZZLessEqual(0)))), Element(HurwitzZeta(s, a), Set(UnsignedInfinity)))),
    Variables(s, a))

Topics using this entry

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

2020-01-31 18:09:28.494564 UTC