k = 0 … 5poles land at s = 0, −1, −2, …

Γ(s) over the complex s-plane

Γ(s) = ∫₀^∞ t^(s−1) e^(−t) dt,   Re(s) > 0

Re(s) > 0: the integral converges here and nowhere else.

Γ(s) = ∫₀^∞ t^(s−1) e^(−t) dt

Domain: Re(s) > 0

Algebra supplies existence and agreement; the identity theorem supplies uniqueness.

Drag the point on the plane to read Γ(s) there.