Assumptions:
References:
- B. C. Carlson (1977), Special functions of applied mathematics, Academic Press. Inequality 3.10-3.
TeX:
\left|\Gamma\!\left(x + y i\right)\right| \le \left|\Gamma(x)\right| x \in \mathbb{R} \;\mathbin{\operatorname{and}}\; y \in \mathbb{R}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
Abs | Absolute value | |
Gamma | Gamma function | |
ConstI | Imaginary unit | |
RR | Real numbers |
Source code for this entry:
Entry(ID("4a2ac8"), Formula(LessEqual(Abs(Gamma(Add(x, Mul(y, ConstI)))), Abs(Gamma(x)))), Variables(x, y), Assumptions(And(Element(x, RR), Element(y, RR))), References("B. C. Carlson (1977), Special functions of applied mathematics, Academic Press. Inequality 3.10-3."))